Model Checking Software - 9783642317583

Skersys - Information and Software Technologies 19th International C - X555z

Canteaut - Fast Software Encryption 19th International Workshop FSE - X555z

Biondi - Model Checking Software 26th International Symposium SPIN - X555z

Ben Sassi - Reuse in Emerging Software Engineering Practices 19th In - 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