Hardware and Software Verification and Testing 7th International

Hardware and Software: Verification and Testing - 9783642341878

Hardware and Software Verification and Testing 5th International

Martins - Dynamic Logic. New Trends and Applications Third Internati - X555z

Schlingloff - Software Engineering and Formal Methods 20th Internati - X555z

Ranstorp - Salafi-Jihadism and Digital Media The Nordic and Internati - X555z

Sutcliffe - Finance and Occupational Pensions Theories and Internati - X555z

Kurland - String Processing and Information Retrieval 20th Internati - X555z