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 (17η εκδ.)SpringerLink (Online service), 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. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b11934.
Παραπομπή σε μορφή MLA (8th εκδ.)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.
