AboutSign inJoin

Ana Cavalcanti

About

Some information is missing for this author.

Books

FM 2009: Formal Methods
FM 2009: Formal Methods
Ana Cavalcanti, Dennis Dams
Theoretical Aspects of Computing
Theoretical Aspects of Computing
Ana Cavalcanti, Jim Woodcock, David Deharbe, Marie-Claude Gaudel
FM 2009: Formal Methods
FM 2009: Formal Methods
Ana Cavalcanti, Dennis Dams
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Ana Cavalcanti, Karin Breitman
Refinement Techniques in Software Engineering
Refinement Techniques in Software Engineering
Ana Cavalcanti
Theoretical Aspects of Computing
Theoretical Aspects of Computing
Ana Cavalcanti, Jim Woodcock, David Deharbe, Marie-Claude Gaudel
Software Engineering for Robotics
Software Engineering for Robotics
Ana Cavalcanti, Jon Timmis, Jim Woodcock, Brijesh Dongol, Rob Hierons
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Ana Cavalcanti, Karin Breitman
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
Ana Cavalcanti, Laure Petrucci, Cristina Seceleanu
Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Jim Woodcook

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian