Rigorous State-Based MethodsSilvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra · First published 2024Open the Tome
Testing Software and SystemsSilvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi · First published 2023Open the Tome
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger, Angelo Gargantini, Elvinia Riccobene · First published 2003Open the Tome
