Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
No ratings yet
Dec 9, 2020
·
English
·
Paperback
(352 pages)