Model Checking Software by Alex Groce, Madanlal Musuvathi - 9783642223051

Groce - Model Checking Software 18th International SPIN Workshop Sn - X555z

Model Checking Software 11th International SPIN Workshop Barcelon

Model Checking Software 10th International SPIN Workshop. Portlan

Model Checking Software 8th International SPIN Workshop Toronto C

Avalanche Busters: A Historical Memoir of the Snowbird and Alta Ski Patrols

Model Checking Software 13th International SPIN Workshop Vienna A

SPIN Model Checking and Software Verification 7th International S