Gustavo Carvalho

Books
Jornada Kubernetes Jornada Kubernetes
Jornada Kubernetes
2026
Formal Methods Teaching Formal Methods Teaching
Formal Methods Teaching
2026
Animalian The Sanctuary's Revenge Animalian The Sanctuary's Revenge
Animalian The Sanctuary's Revenge
2023
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2020