![[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Interpolation Guided Compositional Verification (T)]()
[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Interpolation Guided Compositional Verification (T)Lin, Shang-Wei; Sun, Jun; Nguyen, Truong Khanh; Liu, Yang; Dong, Jin Song · 2015