👤

Einar Broch Johnsen

5 books

Books by Einar Broch Johnsen

Logic of Software. a Tasting Menu of Formal Methods
Logic of Software. a Tasting Menu of Formal Methods
2022
Theory and Practice of Formal
Theory and Practice of Formal Methods
2016
Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015
Formal Methods for Executable Software Models
Formal Methods for Executable Software Models
2014
Tests and Proofs
Tests and Proofs
2008