Automated Certified Proofs with CiME3 (2011)

by É. Contejean , P. Courtieu , J. Forest , O. Pons , X. Urbain
Citations:2 - 0 self