conf.researchr.org / Armando João Isaías Ferreira dos Santos
Registered user since Mon 2 Mar 2020
Name:Armando João Isaías Ferreira dos Santos
Country:Portugal
Affiliation:University of Minho, Portugal / INESC TEC, Portugal
Research interests:Functional Programming, Formal Methods, Algebra of Programming
Contributions