Ana Cavalcanti

No biography available.

Works (3)

Cover of Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Cover of Theoretical aspects of computing

Theoretical aspects of computing

Cover of Critical Systems

Critical Systems