Ana Cavalcanti
3 published titles
Refinement techniques in software engineering : first Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 ; revised lectures
(Contributor)
1 edition
- ISBN: 9783540462538
- Springer
- 2006
- Details
Theoretical aspects of computing - ICTAC 2006 : third international colloquium Tunis, Tunisia, November 20-24, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540488156
- Springer
- 2006
- Details
FM 2009 : formal methods
(Contributor)
1 edition
- ISBN: 9783642050886
- Springer
- 2009
- Details
