Semantics and Logics of Computation group's (University of Turin) - People - Dipartimento di Informatica - Università di Torino


DIPARTIMENTO DI INFORMATICA Università di Torino

[an error occurred while processing this directive]

Some projects

since 2009: BIOBITS
2007--2009: CONCERTO
2004--2006: FOLLIA
2002--2004: PROTOCOLLO
2002--2004: DART

[ "Formal Methods in Computing" group] [Department's HOME]


	Last update: Jul 22, 2011