Verified Software. Theories, Tools, and Experiments, Fachbücher von Jorge A. Navas, Supratik Chakraborty

Verified Software. Theories, Tools, and Experiments, Fachbücher von Philipp Rümmer, Ruzica Piskac

Verified Software. Theories, Tools, and Experiments, Fachbücher von Thomas Wies, Andrei Paskevich

Verified Software: Theories, Tools And Experiments 6th International

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

Verified Software: Theories, Tools, Experiments, Fachbücher von Jim Woodcock, Natarajan Shankar

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

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

Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia

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

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

Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Lijun Zhang, Jun Pang

Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Oleg Sokolsky, Kim Guldstrand Larsen,...

Dependable Software Engineering: Theories, Tools, and Applications, Fachbücher von Naijun Zhan, Deepak Kapur, Martin Frä...

Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Shengchao Qin, Jim Woodcock, Wenhui Z...

Dependable Software Engineering: Theories, Tools, and Applications, Fachbücher von Wang Yi, Zhiming Liu, Xuandong Li