Carlo Ghezzi;Mehdi Jazayeri;Alexander L. Wolf
Politecnico di Milano, Milau, Italy;Technical Univ. of Vienna, Vienna, Austria;Univ. of Colorado, Boulder, USA
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems