DMCA

Certification of automated termination proofs (2007)

by Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain
Venue:In Proc. FroCoS’07
Citations:26 - 6 self