Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
Jorge Sousa Pinto, professor from Universidade do Minho (Braga, Portugal, https://haslab.uminho.pt/jsp/) visited the team for 1 month in May 2019. We interact with him on the topic of the formalization of VC generation algorithms [21]. He also proposed a formalization using the Why3 tool.