Detail

Publication date: 1 de June, 2021

NOVA 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