Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

91190 Gif-sur-Yvette

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Algorithms for Software Model Checking
    (Antragsteller Esparza, Javier )
  - Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
    (Antragsteller Thomas, Wolfgang )

© 2024 DFG Kontakt / Impressum / Datenschutz