International Institute for Software Technology, Aichernig, B. K., & Maibaum, T. S. E. (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. Springer-Verlag.
Cita Chicago Style (17a ed.)International Institute for Software Technology, Bernhard K. Aichernig, y Thomas S E. 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.
Cita MLA (9a ed.)International Institute for Software Technology, 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. Springer-Verlag, 2003.