Einar Broch Johnsen

No bio available. Add one in Open Library.

Books by Einar Broch Johnsen (50 max)

+ shelf+ list

Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

2012

Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen

+ shelf+ list

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

2007

Marcello M. Bonsangue, Einar Broch Johnsen

+ shelf+ list

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

2013

Einar Broch Johnsen

+ shelf+ list

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

2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

+ shelf+ list

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2015

Marco Bernardo, Einar Broch Johnsen

+ shelf+ list

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2016

Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue

+ shelf+ list

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

2017

Sebastian Gabmeyer, Einar Broch Johnsen

+ shelf+ list

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ...

2018

Einar Broch Johnsen, Ina Schaefer

+ shelf+ list

Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

2022

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

+ shelf+ list

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

2022

Einar Broch Johnsen, Manuel Wimmer