Home Advanced Search

Advanced Search - Page 1

Software Engineering and Formal Methods
  • PDF
  • English
  • Year: 2018
  • Author: Einar Broch Johnsen, Ina Schaefer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014
  • PDF
  • English
  • Year: 2014
  • Author: Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
  • PDF
  • English
  • Year: 2014
  • Author: Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
  • PDF
  • English
  • Year: 2014
  • Author: Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)
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
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2022
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
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.)
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.)
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
  • PDF
  • English
  • Year: 2018
  • Author: Peter Müller, Ina Schaefer
search