António Morgado
0000-0002-5295-1321
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(31)
Constraint Satisfaction and Optimization
(18)
Software Testing and Debugging Techniques
(13)
Logic, programming, and type systems
(8)
Logic, Reasoning, and Knowledge
(8)
Affiliations
University College Dublin
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
University of Lisbon
Universitat de Lleida