Tommaso Bolognesi
2 published titles
LOTOSphere : software development with LOTOS
(Contributor)
1 edition
- ISBN: 0792395298
- Kluwer Academic
- 1995
- Details
Formal methods for distributed system development
(Contributor)
1 edition
- ISBN: 0792379683
- Kluwer Academic Publishers
- 2000
- Details
