ListarPPGC: Dissertações e Teses por tema "Agda"
Mostrando ítems 1-1 de 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 ...
