Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
まだ評価がありません
Dec 9, 2020
·
英語
·
ペーパーバック
(352 ページ)