From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek, Alessandro Fantechi, Laura Semini · First published 2019Open the Tome
Software Engineering for Resilient SystemsAlessandro Fantechi, Patrizio Pelliccione · First published 2015Open the Tome
Formal Methods for Industrial Critical SystemsAlessandro Fantechi,Darren Cofer · First published 2009Open the Tome
