Cita APA (7a ed.)

Stump, A. (2007). PLPV'07: Proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007. Association for Computing Machinery.

Cita Chicago Style (17a ed.)

Stump, Aaron. PLPV'07: Proceedings of the 2007 Workshop on Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 2007. [Place of publication not identified]: Association for Computing Machinery, 2007.

Cita MLA (9a ed.)

Stump, Aaron. PLPV'07: Proceedings of the 2007 Workshop on Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 2007. Association for Computing Machinery, 2007.