1 code implementation • 5 Feb 2018 • Bohua Zhan, Maximilian P. L. Haslbeck
We present a framework in Isabelle for verifying asymptotic time complexity of imperative programs.
Logic in Computer Science