Sort by
Refine Your Search
-
Ecole Polytechnique and CNRS, hosted by the Center for Applied Mathematics (CMAP) of Ecole Polytechnique. The Platon project-team focuses on developing innovative methods and algorithms for uncertainty
Searches related to formal methods
Enter an email to receive alerts for formal-methods "Ecole polytechnique" positions