Jacopo Mantovani
Research : Research interests & projects

Both as PhD student and as Post-doc researcher, my interests were in the formal verification of software.

I was involved in the following projects:






Powered by UHP2 1.5 - Free version please visit our site to upgrade
© Copyright 2007 Ravenswood IT Services
School Joomla Templates and Joomla Tutorials