Events
Detail
Publication date: 1 de June, 2021NOVA LINCS TUTORIAL
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)
Date | 17/06/2015 |
---|