Book

Model Checking Software Lecture Notes in Computer Science

by Klaus Havelund