Model Checking Software : 12th International SPIN Workshop, San F

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca,

Cabello - Software Technologies 12th International Joint Conference - X555z

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

Gilbert - Fast Software Encryption 12th International Workshop FSE - X555z

Lewis - Component-Based Software Engineering 12th International Symp - X555z

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

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