Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
尚無評分
2020
·
英語
·
平裝書