| Università, Istituzione: | Université Paris 7 - CNRS Paris
|
|
| Dipartimento, Laboratorio: | Equipe Preuves Programmes et Systèmes
|
|
| Homepage: | ||
| Responsabile scientifico: | Antonio Bucciarelli
|
|
| Email: | ||
| Telefono: | ||
|
Descrizione:
|
||