Formal Methods in Software Engineering

Vlad Craciun