21 July 2020 Share this 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. Previous article Next article
