Deductive Software Verification: The KeY Book
まだ評価がありません
Dec 21, 2016
·
英語
·
ペーパーバック
(734 ページ)