Altenkirch, T., Millstein, T. C., & Altenkirch, T. C. (2009). PLPV '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009. Association for Computing Machinery.
Cita Chicago Style (17a ed.)Altenkirch, Thorsten, Todd Contributor Millstein, y Thorsten Contributor Altenkirch. PLPV '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009. [Place of publication not identified]: Association for Computing Machinery, 2009.
Cita MLA (9a ed.)Altenkirch, Thorsten, et al. PLPV '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009. Association for Computing Machinery, 2009.
