Filliâtre, J., & Filliatre,Jean-Christophe Contributor. (2010). Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery.
Chicago Style (17th ed.) CitationFilliâtre, Jean-Christophe, and Filliatre,Jean-Christophe Contributor. Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification. [Place of publication not identified]: Association for Computing Machinery, 2010.
MLA (9th ed.) CitationFilliâtre, Jean-Christophe, and Filliatre,Jean-Christophe Contributor. Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery, 2010.
Warning: These citations may not always be 100% accurate.
