Ana Cavalcanti
Books
- Software Engineering for Robotics
- Towards Autonomous Robotic Systems
- Fundamental Approaches to Software Engineering
- Testing Techniques in Software Engineering
- FM 2009 : Formal Methods
- Formal Methods and Software Engineering
- Theoretical Aspects of Computing - ICTAC 2006
- Refinement Techniques in Software Engineering
- Theoretical aspects of computing
- Critical Systems
- Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Author data: Open Library