Formal Methods for Multicore Programming More Books by Marco Bernardo & Einar Broch Johnsen

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for Web Services

Formal Methods for Eternal Networked Software Systems

Computer Performance Engineering

A Process Algebraic Approach to Software Architecture Design