Laura SeminiBooksQuality of Information and Communications TechnologyFrom Software Engineering to Formal Methods and Tools, and BackAuthor data: Open Library