Resource bound analysis of imperative programs / Florian Zuleger. 2011
Inhalt