Formal Methods in Software Engineering

Andrei Stefanescu