Techniques for Efficient Software Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jing Yu, María Jesús Garzarán, Marc Snir. Techniques for Efficient Software Checking. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 16-31, Springer, 2007. [doi]

This author has not been identified. Look up 'Jing Yu' in GoogleThis author has not been identified. Look up 'María Jesús Garzarán' in GoogleThis author has not been identified. Look up 'Marc Snir' in Google

runs on WebDSL