Automatic abstraction for model checking software systems with interrelated numeric constraints
- 1 January 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 26 (5) , 164-174
- https://doi.org/10.1145/503229.503232
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: