Book

Model Checking Software

by Klaus Havelund, Rupak Majumdar, Jens Palsberg