Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
まだ評価がありません
2012
·
英語
·
ペーパーバック