Discovering Specifications for Unknown Procedures - Work in Progress - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin. Discovering Specifications for Unknown Procedures - Work in Progress. In Andrei Voronkov, Laura Kovács, Nikolaj Bjørner, editors, Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. Volume 1 of EPiC Series, pages 76-91, EasyChair, 2010. [doi]

This author has not been identified. Look up 'Florin Craciun' in GoogleThis author has not been identified. Look up 'Chenguang Luo' in GoogleThis author has not been identified. Look up 'Guanhua He' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Wei-Ngan Chin' in Google

runs on WebDSL