Sort by
Refine Your Search
-
co-managed by two deputies: Christian Vestergaard, a theoretical physicist, and François Laurent, an applied mathematician and software engineer. The laboratory’s research is centred on uncovering
Searches related to software verification
Enter an email to receive alerts for software-verification positions