Invariants Synthesis over a Combined Domain for Automated Program Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang. Invariants Synthesis over a Combined Domain for Automated Program Verification. In Zhiming Liu, Jim Woodcock, Huibiao Zhu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Volume 8051 of Lecture Notes in Computer Science, pages 304-325, Springer, 2013. [doi]

This author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Guanhua He' in GoogleThis author has not been identified. Look up 'Wei-Ngan Chin' in GoogleThis author has not been identified. Look up 'Hongli Yang' in Google

runs on WebDSL