José Fiadeiro

Formal Methods : Foundations and Applications
Fundamental Approaches to Software Engineering