Formal Methods in Software Engineering

Oana Andrei