Proceedings of ACM conference on Proving assertions about programs. Association for Computing Machinery (ACM).
Citazione stile Chigago Style (17a edizione)Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery (ACM).
Citatione MLA (8a ed.)Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery (ACM).
Attenzione: Queste citazioni potrebbero non essere precise al 100%.