Conferences and fairs
DECEMBER 2023
NII Shonan Meeting: Formal Method Extensions to Support Domain Theories
Systerel recently participated in the NII Shonan Meeting, held in Japan, on the theme “Formal Method Extensions to Support Domain Theories”.
The NII Shonan Meetings provide a leading platform for international collaboration in computer science research.