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, Fachbücher von Jorge A. Navas, Supratik Chakraborty

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

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

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

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

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

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

Sanjit A. Seshia (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 Wang Yi, Zhiming Liu, Xuandong Li

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 Zijiang Yang, Markus Müller-Olm, Xiny...