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