On the Complexity of Error Explanation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nirman Kumar, Viraj Kumar, Mahesh Viswanathan. On the Complexity of Error Explanation. In Radhia Cousot, editor, Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Volume 3385 of Lecture Notes in Computer Science, pages 448-464, Springer, 2005. [doi]

This author has not been identified. Look up 'Nirman Kumar' in GoogleThis author has not been identified. Look up 'Viraj Kumar' in GoogleThis author has not been identified. Look up 'Mahesh Viswanathan' in Google

runs on WebDSL