Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
还没有评分
Dec 9, 2020
·
英语
·
平装书
(352 页数)