Einar Broch Johnsen
· 10 obras en el catálogo
Obras

Formal Methods for Open Object-Based Distributed Systems

Integrated Formal Methods

Software Engineering and Formal Methods

Formal Methods for Executable Software Models

Formal Methods for Multicore Programming

Tests and Proofs

Service-Oriented and Cloud Computing
Theory and Practice of Formal Methods
