Cita APA (7a ed.)

Claessen, K., & Kuncak, V. (2014). Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design: FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland. FMCAD.

Cita Chicago Style (17a ed.)

Claessen, Koen, y Viktor Kuncak. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design: FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland. Austin, Texas: FMCAD, 2014.

Cita MLA (9a ed.)

Claessen, Koen, y Viktor Kuncak. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design: FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland. FMCAD, 2014.