Formal Methods in Software Engineering

Diana Gratie