Project Details
Person
Dr. Stefan Schwoon
Address
Université Paris-Saclay
Laboratoire Méthodes Formelles (LMF)
4, avenue des Sciences
91190 Gif-sur-Yvette
Frankreich
-
As Participating Person
-
Completed projects
-
Algorithms for Software Model Checking (Research Grants)
-
-
Completed projects
