Ana Cavalcanti

Books
Towards Autonomous Robotic Systems Towards Autonomous Robotic Systems
Towards Autonomous Robotic Systems
2025
The Practice of Formal Methods The Practice of Formal Methods
The Practice of Formal Methods
2024
The Practice of Formal Methods The Practice of Formal Methods
The Practice of Formal Methods
2024
Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
2024
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2017
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
2010