Computational Challenges in Bounded Model Checking
収録刊行物
-
- Software Tools for Technology Transfer
-
Software Tools for Technology Transfer 7 (2), 174-183, 2005
Software Tools for Technology Transfer 7 (2), 174-183, 2005