William D. Young. Verified program support environments. In Mark Moriconi, editor, Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. pages 147-149, ACM, 1990. [doi]
No references recorded for this publication.
No citations of this publication recorded.