INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

First Page		Document Content
Date: 2010-06-15 17:48:13 Apache Subversion Git Proof assistant Debian Matita Software Free software Trac		INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Download Document from Source Website File Size: 308,39 KB Share Document on Facebook