1,077 followers
RT @vclaTUwien: Handbook of Model Checking in Memory of Helmut Veith (1971-2016) circulating freely as PDF #openaccess Thanks to the editor…
RT @vclaTUwien: Handbook of Model Checking in Memory of Helmut Veith (1971-2016) circulating freely as PDF #openaccess Thanks to the editor…
RT @vclaTUwien: Handbook of Model Checking in Memory of Helmut Veith (1971-2016) circulating freely as PDF #openaccess Thanks to the editor…
Handbook of Model Checking in Memory of Helmut Veith (1971-2016) circulating freely as PDF #openaccess Thanks to the editors E. Clarke, T. Henzinger, Georg Weissenbacher & @RoderickBloem #logic #mathematics #CS #datascience