ESEC/FSE 2022 (series) / Jose Nuno Oliveira
Registered user since Mon 2 Mar 2020
Name:Jose Nuno Oliveira
Country:Portugal
Affiliation:University of Minho; INESC TEC
Personal website:https://www.inesctec.pt/en/people/jose-nuno-oliveira
Research interests:Functional programming, formal methods
Contributions
| ESEC/FSE 2022 | Quantitative Relational Modelling with QAlloy | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile