Project Details
Person
Professor Serge Petiton, Ph.D.
Address
Maison de la Simulation
Centre de Saclay - Orme des Merisiers
Bâtiment 709
91191 Gif-sur-Yvette Cedex
Frankreich
-
As Cooperation Partner
-
Completed projects
-
MYX: MUST correctness checking for YML and XMP programs (Priority Programmes)
-
-
Completed projects
