Model Checking Software

by Bernd Fischer , Jaco Geldenhuys

No reviews yet
First published: 2015 1 language ISBN: 9783319234045

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!


More by Bernd Fischer


You Might Also Like

More in Computer software, v...
Reachability Problems

Reachability Problems

Parosh Aziz Abdulla
Software Testing

Software Testing

Brian Hambling
Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial