Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Maison de la Simulation
Centre de Saclay - Orme des Merisiers

Address Bâtiment 709
91191 Gif-sur-Yvette Cedex
Frankreich

91191 Gif-sur-Yvette Cedex

Projects

Priority Programmes
- Completed projects
  - MYX: MUST correctness checking for YML and XMP programs
    (Applicant Müller, Matthias S. )

© 2024 DFG Disclaimer / Copyright / Privacy Policy