Automated Resource Analysis with Coq Proof Objects.

Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao

Browse the full CAV paper archive.