Search results

Create the page "Laure Gonnord" on this wiki! See also the search results found.

• Members
  * [http://laure.gonnord.org/pro/ Dr Laure Gonnord], assistant professor at Université Lyon-1
  460 bytes (59 words) - 10:05, 17 February 2014
• VerifGroup
  <li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of ...//hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TB
  3 KB (350 words) - 09:55, 9 February 2018
• 2012-01-28 Verification day
  Joint work with Laure Gonnord, David Monniaux and Matthieu Moy. ===Marie-Laure Potet: Les besoins pour l'analyse de vulnérabilités===
  6 KB (895 words) - 09:50, 30 January 2013