Special Issues for FM ’99: The First World Congress on Formal Methods in the Development of Computing Systems

IEEE Transactions on Software Engineering

Volumn 26, Issue 8, 2000, Pages 673-674

  Wing, Jeanette M ^a   Woodcock, Jim ^b  

^a Carnegie Mellon University   (United States)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85008018976     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2000.879806     Document Type: Review

References (0)