Dagstuhl Seminar Proceedings: Rigorous Methods for Software Construction and Analysis 2007
Jean-Raymond Abrial, Uwe Glässer (Eds.): Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 Dagstuhl Seminar Proceedings 06191- Michael Leuschel, Jens Bendisposto: Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
- Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM method within the Model-driven Engineering paradigm.
- Jean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis.
- Jean-Raymond Abrial, Uwe Glässer: 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team