Speaker
Thierry Lecomte
FMICS plenary speaker
Talks at this conference:
| Tue, 14:00 | B+ or how to model system properties in a formal software model |
Speaker
FMICS plenary speaker
| Tue, 14:00 | B+ or how to model system properties in a formal software model |