HAL-Inria | Publications, software ... of Inria's scientists |
Alessandro Armando 1
Author
David Basin 2
Author
Yohan Boichut 3
Author
Yannick Chevalier 3
Author Employer institution : Université Toulouse III - Paul Sabatier IdHAL : yannick-chevalier-cs IdRef : https://www.idref.fr/076752801 ORCID : https://orcid.org/0000-0002-8617-4209
Luca Compagna 1
Author
Jorge Cuellar 4
Author
Paul Hankes Drielsma 2
Author
Pierre-Cyrille Héam 3
Author IdHAL : pierre-cyrille-heam
Olga Kouchnarenko 3
Author
Jacopo Mantovani 1
Author
Sebastian Mödersheim 2
Author
David von Oheimb 4
Author
Michaël Rusinowitch 3
Author IdHAL : michael-rusinowitch
Judson Santos Santiago 3
Author
Luca Vigano 2
Author
Mathieu Turuani 3
Author
Laurent Vigneron 3
Author IdHAL : laurent-vigneron IdRef : https://www.idref.fr/137591489
INRIA | CNRS | UNIV-FCOMTE | INRIA2 | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE | LORIA-FM