Keyword:Coq

Papers
EasyChair Preprint no. 472