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)

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.