Systems and Software Verification: Model-Checking Techniques and Tools
まだ評価がありません
Dec 15, 2010
·
英語
·
ペーパーバック
(202 ページ)