Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Model Checking Software 10th International SPIN Workshop Portland, OR, USA, May 9-10, 2003 Proceedings / edited by Thomas Ball, Sriram K. Rajamani. by Ball, Thomas Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG