👤

Elvinia Riccobene

3 books

Books by Elvinia Riccobene

Rigorous State-Based Methods
Rigorous State-Based Methods
2024
Logic, Computation and Rigorou
Logic, Computation and Rigorous Methods
2021
Abstract State Machines 2003 :
Abstract State Machines 2003 : Advances in Theory and Practice
2003