2014年8月7日
Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance
(Keynote Talk) 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)
- 記述言語
- 英語
- 掲載種別
- 記事・総説・解説・論説等(その他)