Bernhard K. Aichernig, T. M. Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
Bernhard K. Aichernig, Tom Maibaum. Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Berlín, Alemania: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Bernhard K. Aichernig, Tom Maibaum. Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.