Sort by
Refine Your Search
-
. student will be part of the Cosynus team in the “Proofs and Algorithms” pole. The members of the Cosynus team work on the semantics and static analysis of software systems, sequential, concurrent
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions