Ana Cavalcanti profile picture

Ana Cavalcanti

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Formal Methods Second World Congress Proceedings
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande Do Norte, Brazil, September 1-3, 2010, Proceedings
Bruxas De Verdade - Conhecendo E Desvendando A Magia (Em Portuguese do Brasil)
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Pet Chef: Receitas: bolo e biscoitos para aniversário pet (Portuguese Edition)
Pete Chef: Receitas: bolos e biscoitos pet para aniversário (Portuguese Edition)
Software Engineering for Robotics
Software Engineering for Robotics
Refinement Techniques in Software Engineering
Pet Chef: Pet Birthday recipe book
Pet Chef: Receitas: bolo e biscoitos para aniversário pet (Portuguese Edition)