Compositional Software Model Checking

Tisheng Chen, Huayang Guo, and Lidong Zhou

Details

Publication typeTechReport
NumberMSR-TR-2010-2011
> Publications > Compositional Software Model Checking