Certification of Safe Polynomial Memory Bounds.

Javier de Dios, Ricardo Pea

Browse the full FM paper archive.