Microsoft Research
Microsoft Translator |
Compositional Software Model Checking

Tisheng Chen, Huayang Guo, and Lidong Zhou
February 2010

Details

TypeTechReport
NumberMSR-TR-2010-2011
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Compositional Software Model Checking