Browsing Pós-Graduação em Computação - PPGC by Subject "Agda"
Now showing items 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 ...
