Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar Proceedings: Rigorous Methods for Software Construction and Analysis 2007
- Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Dagstuhl Seminar Proceedings 06191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 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.
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-03-23 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
