Sylvie Boldo

Sylvie Boldo

zbMATH link

Code ISNI : 0000 0003 5230 4340

Inria Saclay-Ile de France
ENS Paris-Saclay
Laboratoire Spécification et Vérification

Give feedback