Quality of Information and Communications TechnologyAntonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini · First published 2024Open the Tome
From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek, Alessandro Fantechi, Laura Semini · First published 2019Open the Tome
