Helmut Veith

Helmut Veith

1 books in the database

Books

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 ProceedingsHelmut Veith

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings

Helmut Veith · 2008

Co-authored books and collections

Books that list Helmut Veith among their authors but not as the lead author: co-written works, collections and compilations.

Computer Aided VerificationNatasha Sharygina

Computer Aided Verification

Natasha Sharygina · 2013

Handbook of Model CheckingEdmund M. Clarke

Handbook of Model Checking

Edmund M. Clarke · 2018

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018

Computer Science LogicAnuj Dawar

Computer Science Logic

Anuj Dawar · 2010

25 Years of Model CheckingOrna Grumberg

25 Years of Model Checking

Orna Grumberg · 2008