APA

Giacobazzi R., Association for Computing Machinery, ACM Special Interest Group on Programming Languages & ACM Special Interest Group on Algorithms and Computation Theory. (2013). Proceedings of the 7th workshop on Programming languages meets program verification. New York, NY: ACM.

Chicago

Giacobazzi Roberto, Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. 2013. Proceedings of the 7th workshop on Programming languages meets program verification. New York, NY: ACM.

Harvard

Giacobazzi R., Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. (2013). Proceedings of the 7th workshop on Programming languages meets program verification. New York, NY: ACM.

MLA

Giacobazzi Roberto, Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. Proceedings of the 7th workshop on Programming languages meets program verification. New York, NY: ACM. 2013.