Ball T. Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Thomas Ball, Robert B. Jones. // Springer e-books. URL: http://dx.doi.org/10.1007/11817963