Elvinia Riccobene
Identifiers
- Open LibraryOL10228351A
Books by Elvinia Riccobene
Total count: 3
-
Abstract State Machines 2003 : Advances in Theory and Practice10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. ProceedingsSpringer London, Limited2003-01-01
-
Logic, Computation and Rigorous MethodsEssays Dedicated to Egon Börger on the Occasion of His 75th BirthdaySpringer International Publishing AG2021-01-01
-
Rigorous State-Based Methods10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, ProceedingsSpringer2024-01-01