Model Checking Software - 9783642317583

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

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

Dwyer - Model Checking Software 8th International SPIN Workshop Tor - X555z

Model Checking Software: 9th International Spin Workshop Grenoble, France, April

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

Duan - Formal Methods and Software Engineering 19th International Co - X555z

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