Proceedings of the 2007 workshop on Programming languages meets program verification. Association for Computing Machinery (ACM).
Παραπομπή σε μορφή Chicago (17η εκδ.)Proceedings of the 2007 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Παραπομπή σε μορφή MLA (9th εκδ.)Proceedings of the 2007 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.