Handbook of Model Checking

Edmund M. Clarke (Editor), Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editor)

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationCham
PublisherSpringer
Number of pages1210
ISBN (Print)978-3-319-10574-1
DOIs
Publication statusPublished - 2018

Cite this