Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings / edited by Radhia Cousot. by Cousot, Radhia 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.	Static Analysis 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings / edited by Radhia Cousot. by Cousot, Radhia 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).
	3.	Static Analysis Third International Symposium, SAS '96 Aachen, Germany, September 24-26, 1996 Proceedings / edited by Radhia Cousot, David A. Schmidt. by Cousot, Radhia 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).
	4.	Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel. by Cousot, Radhia 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