- NOVA LINCS SEMINAR SERIES
- Mar 2016
Deepak Garg (Max Planck Institute for Software Systems)
Title: CostIt: A type theory for relational resource analysis
Date: 3 March 2016, 15h00 | DI Seminars Room - FCT - UNL campus (Ed. II)
Read more >
Deepak Garg (Max Planck Institute for Software Systems)
Date: 3 March 2016, 15h00 | DI Seminars Room - FCT - UNL campus (Ed. II)