Scalable Software Model Checking Using Design for Verification

---

Copy For Citation

TEVFİK B., BETİN CAN A.

Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10 - 13 November 2005, pp.337-346

• Publication Type: Conference Paper / Full Text
• City: Zürich
• Country: Switzerland
• Page Numbers: pp.337-346