Mbs Commercial Law June And July 2009
OKI_B6200
Automatic Assumption Generation for Compositional Verification Dimitra Giannakopoulou (RIACS), Corina Păsăreanu (Kestrel) Automated Software Engineering.
Automatic Assumption Generation for Compositional Verification