A Coq library for internal verification of running-times
McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert BruceLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2017.05.001
Date:
May, 2017
File:
PDF, 532 KB
english, 2017