home
Research
publications
software
projects
Teaching
programming
program analysis
information technology
University of Bologna
Department of Computer Science and Engineering
Cosimo Laneve's projects
current
The INRIA/FOCUS Project
The ENVISAGE (Engineering Virtualized Services) Project
past
The
HATS (Highly Adaptable and Trustworthy Software using Formal Methods )
Project