Formal Methods in Software Engineering

Alin Vrabie