Registered user since Mon 24 Jun 2024
Name:Cristiano Vasconcellos
Country:Brazil
Affiliation:Santa Catarina State University
Personal website: https://www.udesc.br/professor/cristiano.vasconcellos
Research interests:Programming languages; type systems; formal verification
Contributions
Using general profile