String Analysis for Software Verification and Security, Fachbücher von Tevfik Bultan, Muath Alkhalaf, Abdulbaki Aydin, F...

String Analysis For Software Verification And Security | Tevfik Bultan

Automated Technology for Verification and Analysis, Fachbücher von Yu-Fang Chen, Javier Esparza, Chih-Hong Cheng

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

Automated Technology for Verification and Analysis, Fachbücher

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi, Fachbücher von Ale...

Hardware and Software, Verification and Testing, Fachbücher

Automated Technology for Verification and Analysis, Fachbücher von Supratik Chakraborty, Madhavan Mukund

Automated Technology for Verification and Analysis, Fachbücher von Vijay Ganesh, Zhe Hou

Automated Technology for Verification and Analysis, Fachbücher von Chao Wang, Shuvendu K. Lahiri

Software Verification And Analysis An Integrated, Hands-on Approach

Static Analysis And Verification Of Aerospace Software By Abstract...

Automated Technology for Verification and Analysis, Fachbücher von Axel Legay, Cyrille Artho, Doron Peled

Analysis of Food Security and Possibilities for Improvement, Fachbücher

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

Verification and Evaluation of Computer and Communication Systems, Fachbücher von Belgacem Ben Hedia, Zhenhua Yu, Yu-Fan...