Title: Model Checking Software
            
                Lecture Notes in Computer Science
Subjects: Logic design, Computer science, Software engineering, Congresses, Computer software, Verification, SPIN (Computer file)