Certification of automated termination proofs (2007)

Cached

Download Links

by Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain
Venue:In Proc. 6th FroCoS
Citations:18 - 4 self