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

Bertrand Meyer Jerzy R. Nawrocki Bartosz Walter 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 5082 2008 978-3-540-85278-0 CEE-SET Lecture Notes in Computer Science Springer db/conf/ifip2/ceeset2007.html