APA Citation

(2020). Deductive software verification: future perspectives: Reflections on the occasion of 20 years of KeY.

Chicago Style Citation

Deductive Software Verification: Future Perspectives: Reflections On the Occasion of 20 Years of KeY. 2020.

MLA Citation

Deductive Software Verification: Future Perspectives: Reflections On the Occasion of 20 Years of KeY. 2020.

Warning: These citations may not always be 100% accurate.