06191 Summary – Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006
We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany.