Cavalcanti, Ana.
Ana Cavalcanti politiko brasileño
Ana Cavalcanti
VIAF ID: 57776583 ( Personal )
Permalink: http://viaf.org/viaf/57776583
Preferred Forms
- 100 0 _ ‡a Ana Cavalcanti
- 100 0 _ ‡a Ana Cavalcanti ‡c politiko brasileño
- 100 1 _ ‡a Cavalcanti, Ana
-
-
-
-
-
-
-
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Arte e seus lugares : coleções em espaços reais | |
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings | |
FM 2009 : formal methods : Second World Congress Eindhoven, The Netherlands, November 2-6, 2009 : proceedings | |
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings | |
Pernambuco Summer School on Software Engineering | |
PSSE 2004 | |
Refinement techniques in software engineering, 2006 | |
Theoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings |