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