Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
© Inria / Photo G. Maisonneuve Awards & Honours Who are the winners of the Inria 2022 Awards? 22/11/2022