Bounded Model Checking and Induction : From Refutation to Verification
収録刊行物
-
- Proceedings of the 15th International Conference on Computer-Aided Verification (CAV'03)
-
Proceedings of the 15th International Conference on Computer-Aided Verification (CAV'03) 2003
Springer