Tommaso Bolognesi

Tommaso Bolognesi

2 books in the database

Books

Formal Methods for Distributed System DevelopmentTommaso Bolognesi

Formal Methods for Distributed System Development

Tommaso Bolognesi · 2000

LOTOSphere: Software Development with LOTOSTommaso Bolognesi

LOTOSphere: Software Development with LOTOS

Tommaso Bolognesi · 1995