Intra-module Inference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies. Intra-module Inference. In Ahmed Bouajjani, Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Volume 5643 of Lecture Notes in Computer Science, pages 493-508, Springer, 2009. [doi]

This author has not been identified. Look up 'Shuvendu K. Lahiri' in GoogleThis author has not been identified. It may be one of the following persons:

Shaz Qadeer

Look up 'Shaz Qadeer' in GoogleThis author has not been identified. Look up 'Juan P. Galeotti' in GoogleThis author has not been identified. Look up 'Jan W. Voung' in GoogleThis author has not been identified. Look up 'Thomas Wies' in Google

runs on WebDSL