Pierre Corbineau


Send a private message to this author

Send a message

Articles by this author

Models of Distributed Algorithms

Friday 16 October 2020

[M1 internship] Modeling of Graph Topologies Using Coq

Sunday 16 September 2018

[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence

Sunday 15 October 2023

[Postdoc positions] Coq Developments

Wednesday 16 October 2019
Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121955