Software Engineering and Formal MethodsDimitra Giannakopoulou, Gwen Salaün · First published 2014Open the Tome
Verified Software : Theories, Tools and ExperimentsDimitra Giannakopoulou, Daniel Kroening · First published 2014Open the Tome
Fundamental Approaches to Software EngineeringDimitra Giannakopoulou, Fernando Orejas · First published 2011Open the Tome
