Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)
Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)
Software Engineering and Formal Methods
  • PDF
  • English
  • Year: 2018
  • Author: Einar Broch Johnsen, Ina Schaefer
Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022. Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Einar Broch Johnsen, Manuel Wimmer
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.)
search