Room O. De Donato
Rooms
Room details can be found here
Talks in this room:
Monday, 09 Sep
| 9:00 | |
| 14:00 |
Tuesday, 10 Sep
| 9:00 | |
| 14:00 |
B+ or how to model system properties in a formal software model |
Room details can be found here
| 9:00 | |
| 14:00 |
| 9:00 | |
| 14:00 |
B+ or how to model system properties in a formal software model |