Versione italiana
University of Bologna
Home
Research
Current Projects
Publications
Software
Teaching
Program Analysis
Information Technology
Programming Languages: Compilers (old)
Formal Methods 1: Software Quality (old)
Department of Computer Science
|
People
|
How to reach us
You are in:
Cosimo Laneve Home
>
Current Projects
Current Projects
The INRIA/FOCUS Project
The
HATS (Highly Adaptable and Trustworthy Software using Formal Methods )
Project
