Cita APA (7a ed.)
Alan J. Hu, A. K. M. Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Alan J. Hu, Andrew K. Martin. Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Alan J. Hu, Andrew K. Martin. Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.