Reachability analysis for annotated code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mikolás Janota, Radu Grigore, Michal Moskal. Reachability analysis for annotated code. In Arnd Poetzsch-Heffter, editor, Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007. pages 23-30, ACM, 2007. [doi]

This author has not been identified. Look up 'Mikolás Janota' in GoogleThis author has not been identified. Look up 'Radu Grigore' in GoogleThis author has not been identified. Look up 'Michal Moskal' in Google

runs on WebDSL