Constraint-Based Contract Inference for Deductive Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer. Constraint-Based Contract Inference for Deductive Verification. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 149-176, Springer, 2020. [doi]

This author has not been identified. Look up 'Anoud Alshnakat' in GoogleThis author has not been identified. Look up 'Dilian Gurov' in GoogleThis author has not been identified. Look up 'Christian Lidström' in GoogleThis author has not been identified. Look up 'Philipp Rümmer' in Google

runs on WebDSL