Event details

  • NOVA LINCS TUTORIAL
  • Jun 2015
  • Tomas Vojnar (Brno University of Technology)

    Title: Abstract Regular (Tree) Model Checking

    Date: 17 June 2015, 10h00 | DI Seminars Room - FCT - UNL campus (Ed. II)