G. (Gustavo) Rezende Silva
G. (Gustavo) Rezende Silva
Expertise
Publicaties
-
2022
A Formal Model of Metacontrol in Maude
Juliane Päßler / Esther Aguado / Gustavo Rezende Silva / Silvia Lizeth Tapia Tarifa / Carlos Hernández Corbato / Einar Broch Johnsen
Nevenwerkzaamheden
-
2021-07-01 - 2023-07-01