João Carlos Pascoal Faria
AuthID: R-000-6WK
1
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria; Rui Abreu;
PUBLISHED: 2023, SOURCE: FSEN
AUTHORS: João Pascoal Faria; Rui Abreu;
PUBLISHED: 2023, SOURCE: FSEN
INDEXED IN: 
DBLP
DBLP IN MY: 
ORCID
ORCID2
TITLE: A living lab for professional skills development in Software Engineering Management at U.Porto
AUTHORS: Gil Gonçalves ; Raquel F Ch. Meneses; João Pascoal Faria; Raul Moreira Vidal;
PUBLISHED: 2020, SOURCE: EDUCON
AUTHORS: Gil Gonçalves ; Raquel F Ch. Meneses; João Pascoal Faria; Raul Moreira Vidal;
PUBLISHED: 2020, SOURCE: EDUCON
INDEXED IN: DBLP
DBLP IN MY: ORCID
ORCID