Daniel Kroening (u. A.) | Verified Software: Theories, Tools And

Verified Software. Theories, Tools, And Experiments 10th International

Thomas Wies (u. A.) | Verified Software. Theories, Tools, And

Sanjit A. Seshia (u. A.) | Verified Software: Theories, Tools, And

Jim Woodcock (u. A.) | Verified Software: Theories, Tools, Experiments

Andrey Rybalchenko (u. A.) | Verified Software: Theorie, Tools,

Dependable Software Engineering. Theories, Tools, And Applications

Guido Guizzi (u. A.) | Intelligent Software Methodologies, Tools And

M. Daehlem (u. A.) | Numerical Methods And Software Tools In

Ali Selamat (u. A.) | Intelligent Software Methodologies, Tools And

Dietmar Winkler (u. A.) | Software Quality: Methods And Tools For

Daniel Große (u. A.) | Languages, Design Methods, And Tools For

Daniel Hetzer (u. A.) | Personalmanagement Zwischen Theorie Und Praxis

Xuandong Li (u. A.) | Dependable Software Engineering: Theories,

Shengchao Qin (u. A.) | Dependable Software Engineering. Theories,

Bioinformatics Software Tools | Muataz Adnan Harhoosh (u. A.) |