Interpolation Guided Compositional Verification (T) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong. Interpolation Guided Compositional Verification (T). In Myra B. Cohen, Lars Grunske, Michael Whalen, editors, 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. pages 65-74, IEEE, 2015. [doi]

This author has not been identified. Look up 'Shang-Wei Lin' in GoogleThis author has not been identified. It may be one of the following persons:

Jun Sun

Look up 'Jun Sun' in GoogleThis author has not been identified. Look up 'Truong Khanh Nguyen' in GoogleThis author has not been identified. Look up 'Yang Liu' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in Google

runs on WebDSL