Section:
Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
David Déharbe from UFRN (Natal, Brazil) spent a sabbatical year with the VeriDis
team in Nancy from August, 2013 to July, 2014.
Internships
-
Ignacio Martin Queralt
-
Subject: Symbolic transition checking for TLA+
-
Date: April to September, 2014
-
Institution: Universidad Nacional de Córdoba (Argentina)