Book

Model Checking Software

by Dragan Bošnački, Anton Wijs