Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Université Paris-Saclay
Laboratoire Méthodes Formelles (LMF)

Address 4, avenue des Sciences
91190 Gif-sur-Yvette
Frankreich

91190 Gif-sur-Yvette

Projects

Research Grants
- Completed projects
  - Algorithms for Software Model Checking
    (Applicant Esparza, Javier )
  - Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
    (Applicant Thomas, Wolfgang )

© 2024 DFG Disclaimer / Copyright / Privacy Policy