Title: Model Checking Software 19th International Workshop Proceedings
Subjects: Computer software, Congresses, Verification, Computer simulation, Testing, Data processing, SPIN (Computer file), Computer software, verification, Software engineering, Computer science, Logic design