Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
아직 평점이 없습니다
Dec 9, 2020
·
영어
·
페이퍼백
(352 페이지)