👤

Angelo Gargantini

2 books

Books by Angelo Gargantini

Rigorous State-Based Methods
Rigorous State-Based Methods
2024
Abstract State Machines 2003 :
Abstract State Machines 2003 : Advances in Theory and Practice
2003