Formal Methods in Software Engineering

Rodica Condurache