Compositional certified resource bounds. (2015)

by Q Carbonneaux, J Hoffmann, Z Shao