Rigorous State-Based MethodsSilvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra · First published 2024Open the Tome