17583511
Results 1 to 1 of 1
Selection :
Formal certification of a compiler back-end or : Programming a compiler with a proof assistantLEROY, Xavier.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 42-54, issn 1523-2867, 13 p.Conference Paper