Member of PPS : Login

Université Paris Diderot

PPS Laboratoire

Preuves, Programmes et Systèmes [ INRIA - πr² ]

Pre-publications (from HAL)

Publications (from HAL)