Title :
Special issues for fm ´99: the first world congress on formal methods in the development of computing systems
Author :
Wing, Jeanette M. ; Woodcock, Jim
Author_Institution :
Carnegie Mellon University
fDate :
8/1/2000 12:00:00 AM
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2000.879806
