Moriconi. Conference proceedings on Formal methods in software development. Association for Computing Machinery (ACM).
Cita Chicago (17th ed.)Moriconi. Conference Proceedings on Formal Methods in Software Development. Association for Computing Machinery (ACM).
Cita MLA (8th ed.)Moriconi. Conference Proceedings on Formal Methods in Software Development. Association for Computing Machinery (ACM).
Atenció: Aquestes cites poden no estar 100% correctes.