Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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, Springer, 2020. [doi]

This author has not been identified. Look up 'Wolfgang Ahrendt' in GoogleThis author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Richard Bubel' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Mattias Ulbrich' in Google

runs on WebDSL