15993938
Results 1 to 1 of 1
Selection :
QArith: Coq formalisation of lazy rational arithmeticNIQUI, Milad; BERTOT, Yves.Lecture notes in computer science. 2004, pp 309-323, issn 0302-9743, isbn 3-540-22164-6, 15 p.Conference Paper