Navegação Pós-Graduação em Computação - PPGC por Assunto "Agda"
Itens para a visualização no momento 1-1 of 1
-
Strategies for testing and formalizing properties of modern programming languages
(2019-12-10)Today’s world is full of devices and machines controlled by software, which depend upon programming languages and compilers to be produced and executed. The importance of correct software development goes beyond personal ...