APA Citation

Aichernig, B. K., & Maibaum, T. (2003). Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20. Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Aichernig, Bernhard K., and Tom Maibaum. Formal Methods At the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

MLA Citation

Aichernig, Bernhard K., and Tom Maibaum. Formal Methods At the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

Warning: These citations may not always be 100% accurate.