Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Kodkod
Macedo N,
Cunha A
, Pessoa E
. 2017.
Exploiting Partial Knowledge for Efficient Model Analysis
.
symbolic17atva.pdf
Filter by Section
(-) Publications (1)
Announcements (3)