Vasco Manquinho
0000-0002-4205-2189
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(60)
Constraint Satisfaction and Optimization
(36)
Software Testing and Debugging Techniques
(24)
Logic, programming, and type systems
(19)
Software System Performance and Reliability
(16)
Affiliations
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
University of Lisbon
Instituto Politécnico de Lisboa
Lusíada University of Lisbon
Instituto Superior de Tecnologias Avançadas