"OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal ..."

Jonathan Lee, Jiann-I Pan, Wei T. Huang (1997)

Details and statistics

DOI:

access: closed

type: Journal Article

metadata version: 2021-07-16