EN FR
EN FR


Section: Highlights of the Year

Highlights of the Year

Awards

  • M. Pereira and R. Rieu-Helft received the "Best student team" award, and J.-C. Filliâtre the "Best overall team" award, at the VerifyThis@ETAPS2017 verification competition.