Systems and Software Verification - 9783642074783

Berard - Systems and Software Verification Model-Checking Techniques - X555z

Systems and Software Verification: Model-Checking Techniques and Tools by Berard

Safety Instrumented System Design: Techniques and Design Verification

Systems and Software Verification: Model-Checking Techniques and Tools Berard, B

Debbabi - Verification and Validation in Systems Engineering Assessi - X555z

Systems and Software Verification: Model-Checking Technique

Yan - Advanced Database Query Systems Techniques Appcations and Tech - X555z