- NOVA LINCS SEMINAR SERIES
- Feb 2015
Adrian Francalanza (Univ. Malta) (Joint work with Clare Cini)
Title: An LTL Proof System for Runtime Verification
Date: 4 Feb 2015, 14h00 | DI Seminars Room - FCT - UNL campus (Ed. II)
Read more >
Adrian Francalanza (Univ. Malta) (Joint work with Clare Cini)
Date: 4 Feb 2015, 14h00 | DI Seminars Room - FCT - UNL campus (Ed. II)