Einar Broch Johnsen

No biography available.

Works (6)

Cover of Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Cover of Tests and Proofs

Tests and Proofs

Cover of Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

Cover of Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

Cover of Service-Oriented and Cloud Computing

Service-Oriented and Cloud Computing

Cover of Integrated Formal Methods

Integrated Formal Methods