APA (7th ed.) Citation

SpringerLink (Online service), Aichernig, B. K., & Maibaum, T. (2003). 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 (1st ed. 2003.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b11934

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Bernhard K. Aichernig, and 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. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b11934.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. 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. 1st ed. 2003. Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b11934.