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

van Sinderen - Software Technologies 14th International Conference - X555z

Biryukov - Fast Software Encryption 14th International Workshop FSE - X555z

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

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

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

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

Aoki - Formal Methods and Software Engineering 14th International Co - X555z