The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Jeanette M. Wing, Jim Woodcock, "Special Issues for FM '99: The First World Congress on Formal Methods in the Development of Computing Systems", IEEE Transactions on Software Engineering, vol. 26, no. , pp. 673-674, August 2000, doi:10.1109/TSE.2000.879806
103 ms
(Ver 3.3 (11022016))