Elvinia Riccobene
Elvinia Riccobene
Books
Co-authored books and collections
Books that list Elvinia Riccobene among their authors but not as the lead author: co-written works, collections and compilations.
Rigorous State-Based MethodsSilvia Bonfanti
Rigorous State-Based Methods
Silvia Bonfanti · 2024
Logic, Computation and Rigorous MethodsAlexander Raschke
Logic, Computation and Rigorous Methods
Alexander Raschke · 2021
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger
Abstract State Machines 2003 : Advances in Theory and Practice
Egon Börger · 2003