H. Dieter Rombach, Frank Seelisch. Formalisms in Software Engineering: Myths Versus Empirical Facts. In Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter, editors, Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers. Volume 5082 of Lecture Notes in Computer Science, pages 13-25, Springer, 2007. [doi]
Abstract is missing.