Jeannette M. Wing, Jim Woodcock. The First World Congress on Formal Methods in the Development of Computing Systems. Formal Asp. Comput., 12(3):145-146, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.