Similar Listings
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