Aichernig, B. K. 1., & Maibaum, T. S. E. 1. (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. Berlin: Springer-Verlag.
Chicago Style CitationAichernig, Bernhard K 1969-, and Thomas S E 1947- 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. Berlin: Springer-Verlag, 2003.
MLA CitationAichernig, Bernhard K 1969-, and Thomas S E 1947- 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. Berlin: Springer-Verlag, 2003.