14985408
Results 1 to 1 of 1
Selection :
A new extraction for CoqLETOUZEY, Pierre.Lecture notes in computer science. 2003, pp 200-219, issn 0302-9743, isbn 3-540-14031-X, 20 p.Conference Paper