E
Einar Broch Johnsen
10 works on record
Works

Formal Methods for Open Object-Based Distributed Systems

Integrated Formal Methods

Tests and Proofs

Software Engineering and Formal Methods

Formal Methods for Multicore Programming

Formal Methods for Executable Software Models

Service-Oriented and Cloud Computing

Logic of Software. a Tasting Menu of Formal Methods
Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering