Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM, 2000.
Conference: fmsp2000
No references recorded for this publication.
No citations of this publication recorded.