Harnessing forest automata for verification of heap manipulating programsmonographFormát: Tištěná knihaŠimáček Jiří, Vojnar TomášVysoké učení technické v Brně2012ISBN 978-80-214-4653-3 (brož.)
