Validating Library Usage Interactively - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha. Validating Library Usage Interactively. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 796-812, Springer, 2013. [doi]

This author has not been identified. Look up 'William R. Harris' in GoogleThis author has not been identified. Look up 'Guoliang Jin' in GoogleThis author has not been identified. Look up 'Shan Lu' in GoogleThis author has not been identified. Look up 'Somesh Jha' in Google

runs on WebDSL