conf.researchr.org / Pedro Orvalho
Registered user since Mon 1 Jun 2020
Name:Pedro Orvalho
Contributions
ESEC/FSE 2021 | Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track |
Registered user since Mon 1 Jun 2020
Contributions
ESEC/FSE 2021 | Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track |