Egidio Astesiano, Gianna Reggio, Maura Cerioli. From Formal Techniques to Well-Founded Software Development Methods. In Bernhard K. Aichernig, T. S. E. Maibaum, editors, 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. Volume 2757 of Lecture Notes in Computer Science, pages 132-150, Springer, 2002. [doi]
Abstract is missing.