unset title
>
Contact_plural
>
Le Roux
login
login
password
log in
cancel
search
Le Roux
lastname
Le Roux
firstname
Stéhane
organisation
LSV, UMR 8643 CNRS, ENS de Cachan
old_uid
14921
responsibles_object
Compressing Vector OLE
A domain theory for statistical probabilistic programming
Calculs et équations differentielles
Spécification et Vérification (séminaire du LSV, UMR 8643 CNRS, ENS, Cachan) (2018)