Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: cav2010

This author has not been identified. It may be one of the following persons:

Tayssir Touili

Look up 'Tayssir Touili' in GoogleThis author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Paul Jackson' in Google

runs on WebDSL