Interpolation and SAT-Based Model Checking
収録刊行物
-
- Proc. of 15th Conf. on Computer Aided Verification (CAV 2003)
-
Proc. of 15th Conf. on Computer Aided Verification (CAV 2003) 1-13, 2003
Springer