Preferred Forms
-
- 100 1 _ ‡a Bolognesi, Tommaso
- 100 1 _ ‡a Bolognesi, Tommaso
- 100 1 0 ‡a Bolognesi, Tommaso
-
-
Works
Title | Sources |
---|---|
Formal methods for distributed system development : October 10-13, 2000, Pisa, Italy | |
LOTOSphere: software development with LOTOS |