- 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)
Tomas Vojnar (Brno University of Technology)
Date: 17 June 2015, 10h00 | DI Seminars Room - FCT - UNL campus (Ed. II)