Alessandro FantechiBooksFrom Software Engineering to Formal Methods and Tools, and BackSoftware Engineering for Resilient SystemsAuthor data: Open Library