Cita APA (7a ed.)
Wolfgang Grieskamp, T. S. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Wolfgang Grieskamp, Thomas Santen. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Wolfgang Grieskamp, Thomas Santen. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.