Symbolic Analysis via Semantic Reinterpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Junghee Lim, Akash Lal, Thomas W. Reps. Symbolic Analysis via Semantic Reinterpretation. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 148-168, Springer, 2009. [doi]

This author has not been identified. Look up 'Junghee Lim' in GoogleThis author has not been identified. Look up 'Akash Lal' in GoogleIdentified as Thomas W. Reps

runs on WebDSL