Proceedings of the 5th ACM workshop on Programming languages meets program verification. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
MLA-viite (9. p.)Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.