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