AboutSign inJoin

Helmut Veith

About

Helmut Veith was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science. He was a Professor of Informatics at the Vienna University of Technology, Austria.

Books

Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Helmut Veith, Andrei Voronkov, Iliano Cervesato
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Helmut Veith, Andrei Voronkov, Iliano Cervesato
Computer Science Logic
Computer Science Logic
Helmut Veith, Anuj Dawar
Computer Aided Verification
Computer Aided Verification
Helmut Veith, Natasha Sharygina
Model Checking, second edition
Model Checking, second edition
Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian