Einar Broch Johnsen
3 published titles
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642386138
- Springer
- 2013
- Details
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 : a
(Contributor)
1 edition
- ISBN: 9783319189406
- Springer
- 2015
- Details
Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783319307336
- Springer
- 2016
- Details
