Ecdar
Davide Basile
davidebasile
Permanent researcher at Formal Methods & Tools Lab, Institute of Science and Information Technology, National Research Council (ISTI CNR), Pisa
ISTI CNR Pisa
Thomas Lohse
t-lohse
Software student @ AAU
-
Gitlab @tlohse
Aalborg University - DEIS Aalborg, Denmark