Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers / edited by Agostino Cortesi. by Cortesi, Agostino 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 6th International Symposium, SAS’99 Venice, Italy, September 22-24, 1999 Proceedings / edited by Agostino Cortesi, Gilberto Filé. by Cortesi, Agostino 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.	Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings / edited by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń. by Cortesi, Agostino 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