Login / Signup

Modular Verification of Open Features Using Three-Valued Model Checking.

Harry C. LiShriram KrishnamurthiKathi Fisler
Published in: Autom. Softw. Eng. (2005)
Keyphrases