Keyword:Coq

Papers
EasyChair Preprint no. 1516
EasyChair Preprint no. 472