Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers. Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. In Giuseppe Castagna, editor, ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Volume 7920 of Lecture Notes in Computer Science, pages 451-476, Springer, 2013. [doi]

This author has not been identified. Look up 'Stefan Heule' in GoogleThis author has not been identified. Look up 'Ioannis T. Kassios' in GoogleThis author has not been identified. Look up 'Peter Müller' in GoogleThis author has not been identified. Look up 'Alexander J. Summers' in Google

runs on WebDSL