Karl-Heinz Niggl, Henning Wunderlich. Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs. SIAM Journal on Computing, 35(5):1122-1147, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.