Event details

  • NOVA LINCS SEMINAR SERIES
  • Jan 2016

  • Alexandra Silva (University College London)

    Title: NetKAT: A Formal System For The Verification Of Networks

    Date: 28 January 2016, 14h00 | DI Seminars Room - FCT - UNL campus (Ed. II)

    Read more >