Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

PDF
English
Year: 2003
Author: Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

PDF
English
Year: 2009
Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

PDF
English
Year: 1998
Author: Jean -Raymond Abrial (auth.), Didier Bert (eds.)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

PDF
English
Year: 2009
Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

PDF
English
Year: 2009
Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

PDF
English
Year: 2009
Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

PDF
English
Year: 2013
Author: Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Modeling in Event-B : system and software engineering

PDF
English
Year: 2010
Author: Jean-Raymond Abrial

The B-book : assigning programs to meanings / [...] XD-US

DJVU
English
Year: 1996
Author: Jean-Raymond Abrial

Modeling in Event-B: System and Software Engineering

PDF
English
Year: 2010
Author: Jean-Raymond Abrial