Handbook of Model Checking View on Open Library

Handbook of Model Checking

by Edmund M. Clarke , Thomas A. Henzinger , Helmut Veith , Roderick Bloem

No reviews yet
First published: 2017 1 language ISBN: 9783319105758

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Edmund M. Clarke

Model Checking, Second Edition

Model Checking, Second Edition

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence

Logic for Programming Artificial Intelli...