Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Proceedings of the Third Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
MLA-viite (9. p.)Proceedings of the Third Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.