Antonio Cerone's Website

Pisa Site

PhD Courses: Formal Modelling and Analysis of Interactive Systems (Dec 2010); Formal Methods for Interactive Systems (Feb-Mar 2007)
Presentations: Macau and UNU-IIST (Thursday 22 February 2007 at 12:00 in Room Seminari Ovest)

Created: Fri Feb 23 12:46:52 CET 2007	Feedback
Updated: Wed Dec 29 11:20:54 CET 2010