Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
لا توجد تقييمات بعد
Dec 9, 2020
·
الإنجليزية
·
غلاف ورقي
(352 صفحات)