Automatic Verification of Data-centric W
β
Fang, Zhi; Liao, Lejian; Chen, Ruoyu
π
Article
π
2013
π
Elsevier
β 598 KB