21 July 2020 Partager l'article linkedin facebook twitter A 3-hour tutorial was given to 20 formal methods researchers. This tutorial was well received as a mean to put theoritical instruction into practice. Article précédent Article suivant