Formal Methods for Eternal Networked Software Systems More Books by Marco Bernardo & Valérie Issarny

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for Multicore Programming

Formal Methods for Web Services

Computer Performance Engineering

A Process Algebraic Approach to Software Architecture Design