Title: Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
Subjects: Logic design, Computer science, Software engineering, Computer software, Congresses, Verification, Computer simulation, Testing, Data processing, Model Checking, Kongress, Programmverifikation, SPIN (Computer file), Computer software, verification