Formal Methods in Software Engineering

Dragos Gavrilut