Ravichandhran Madhavan and Viktor Kuncak. Symbolic resource bound inference for functional programs. In
Computer Aided Verification (CAV)
, 2014.
[
bib
]
Back