Exportar referência
APA
Bernardo Ferrari, (2024). A programming language with refinement types and its LLVM-IR front end implementation. Alcides Fonseca,
IEEE
Bernardo Ferrari, "A programming language with refinement types and its LLVM-IR front end implementation", 2024.
BIBTEX
@MastersThesis{64193,
author = {Bernardo Ferrari},
title = {A programming language with refinement types and its LLVM-IR front end implementation},
school = {UNIVERSIDADE FEDERAL DE SANTA CATARINA},
year = {2024},
OPTtype = {Documentos Académicos},
OPTmonth = {Mar}
}