Software Verification, Fachbücher von Roderick Bloem, Rayna Dimitrova, Natasha Sharygina, Chuchu Fan

Hardware and Software: Verification and Testing, Fachbücher von Roderick Bloem, Eli Arbel

Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere

Computer Aided Verification, Fachbücher von Helmut Veith, Natasha Sharygina

Hardware and Software, Verification and Testing, Fachbücher

Numerical Software Verification, Fachbücher von Alessandro Abate, Sylvie Boldo

Software Engineering: Specification, Implementation, Verification, Fachbücher von Suad Alagic

Hardware/Software Co-Design and Co-Verification, Fachbücher

Numerical Software Verification, Fachbücher von Damien Zufferey, Majid Zamani

Software Verification and Analysis, Fachbücher von Janusz Laski, William Stanley

Numerical Software Verification, Fachbücher von Pavithra Prabhakar, Sergiy Bogomolov, Matthieu Martel

Software Verification Based on Game Semantics and Process Algebra, Fachbücher

Embedded Software Verification and Debugging, Fachbücher von Markus Winterholer, Djones Lettnin

Tools for Practical Software Verification, Fachbücher von Martin Nordio, Bertrand Meyer

Scalable Bit-precise Formal Verification of Embedded Software, Fachbücher von Nannan He

Valentina Dimitrova, Fachbücher