Verification, Model Checking, and Abstract Interpretation
まだ評価がありません
2002
·
英語
·
ペーパーバック