The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

J. M. Wing and J. Woodcock, "Special Issues for FM '99: The First World Congress on Formal Methods in the Development of Computing Systems," in IEEE Transactions on Software Engineering, vol. 26, no. , pp. 673-674, 2000.
doi:10.1109/TSE.2000.879806
88 ms
(Ver 3.3 (11022016))