Rigorous State-Based MethodsSilvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra · First published 2024Open the Tome
Logic, Computation and Rigorous MethodsAlexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe · First published 2021Open the Tome
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger, Angelo Gargantini, Elvinia Riccobene · First published 2003Open the Tome
