Slideshow

Verification of Webbed Applications ...

Haydar, M., Barburas, M. Verification of Webbed Applications Using Model CheckingX. Montréal, CRIM. 21 diapositives

  • ????Dernières nouvelles du CRIM! Infolettre février 2018 par ici: https://t.co/WNwaHqDdm5
  • La Journée Techno fut couronnée de succès! L'événement a attiré une centaine de personnes du milieu de la recherche… https://t.co/N1ZNNK6mmk