Systems and Software Verification: Model-Checking Techniques and Tools/fr-ca/systems-and-software-verification-model-checking-techniques-and-tools/00B6C31B-0776-4957-95E7-ED48D25DC275.html00B6C31B-0776-4957-95E7-ED48D25DC275
Systems and Software Verification: Model-Checking Techniques and Tools