Skip to content

Loading

Search Explore Expert picks

FA Sign in

Search Explore Expert picks Sign in

Discover references

Roderick Bloem (eds.)

Books

1 results

Cover of Handbook of Model Checking

English Intermediate

Handbook of Model Checking

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

2018 View book

An open, expert-guided library for choosing better learning references.

Request a book Search Experts

© RefHub · Open references for deeper learning