Šimáček Jiří

Titul autora (1)

• Harnessing forest automata for verification of heap manipulating programs

  monograph

  Tištěná kniha

  Šimáček Jiří, Vojnar Tomáš

  Vysoké učení technické v Brně

  2012

  978-80-214-4653-3 (brož.)