Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery (ACM).
Chicago-referens (17:e uppl.)Proceedings of the Third Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
MLA-referens (9:e uppl.)Proceedings of the Third Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.