16194797
Results 1 to 1 of 1
Selection :
C-CoRN, the Constructive Coq Repository at NijmegenCRUZ-FILIPE, Luis; GEUVERS, Herman; WIEDIJK, Freek et al.Lecture notes in computer science. 2004, pp 88-103, issn 0302-9743, isbn 3-540-23029-7, 16 p.Conference Paper