Einar Broch Johnsen

Books
Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
2024
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
2022
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2018
Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
2017
Tests and Proofs Tests and Proofs
Tests and Proofs
2017
Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
2016