- NOVA LINCS SEMINAR SERIES
- Oct 2015
Jorge A. Pérez (University of Groningen, The Netherlands)
Title:Reasoning Techniques for Higher-Order Session Processes
Date: 20 October 2015, 14h00 | DI Seminar Room - FCT - UNL campus (Ed. II)
Read more >
Jorge A. Pérez (University of Groningen, The Netherlands)
Date: 20 October 2015, 14h00 | DI Seminar Room - FCT - UNL campus (Ed. II)