Dagstuhl Seminar Proceedings, Volume 6191,

• Jean-Raymond Abrial and Uwe Glässer 06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis 10.4230/DagSemProc.06191.1
• Jean-Raymond Abrial and Uwe Glässer 06191 Summary – Rigorous Methods for Software Construction and Analysis 10.4230/DagSemProc.06191.2
• Michael Leuschel and Jens Bendisposto Animating and Model Checking B Specifications with Higher-Order Recursive Functions 10.4230/DagSemProc.06191.3
• Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra Exploiting the ASM method within the Model-driven Engineering paradigm 10.4230/DagSemProc.06191.4