Listar Tesis de Doctorado y Maestría por autor "Galli, Jaqueline Klein"
Mostrando ítems 1-1 de 1
-
Calculus semantic with values passing in the denotational approach
Galli, Jaqueline Klein (2020) [Tesis de maestría]In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ...