Yves Bertot 1 AuthorId : 63591 Author IdHAL : yves-bertot ORCID : https://orcid.org/0000-0001-5052-3019
Computer Science [cs] / Logic in Computer Science [cs.LO]
INRIA