Model Checking Software 18th International SPIN Workshop Snowbird

Model Checking Software by Alex Groce, Madanlal Musuvathi - 9783642223051

Donaldson - Model Checking Software 19th International SPIN Workshop - X555z

Bosnacki - Model Checking Software 14th International SPIN Workshop - X555z

Godefroid - Model Checking Software 12th International SPIN Workshop - X555z

Valmari - Model Checking Software 13th International SPIN Workshop - X555z

Joux - Fast Software Encryption 18th International Workshop FSE 201 - X555z

Graf - Model Checking Software 11th International SPIN Workshop Bar - X555z