Proceedings of ACM conference on Proving assertions about programs. Association for Computing Machinery (ACM).
Chicago-Zitierstil (17. Ausg.)Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery (ACM).
MLA-Zitierstil (8. Ausg.)Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery (ACM).
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.