Konečný Filip

Titul autora (1)

• Relational verification of programs with integer data

  monograph

  Tištěná kniha

  Radu Iosif, Konečný Filip, Vojnar Tomáš

  Vysoké učení technické v Brně

  2012

  978-80-214-4654-0 (brož.)