Manuela Xavier Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuela Xavier, Ana Cavalcanti, Augusto Sampaio: Type Checking Circus Specifications. Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008)
2007
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuela Xavier, Ana Cavalcanti: Mechanised Refinement of Procedures. Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007)
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcel Oliveira, Manuela Xavier, Ana Cavalcanti: Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319

Coauthor Index

1Ana Cavalcanti
[j2] [j1] [c1]
2Marcel Oliveira
[c1]
3Augusto Sampaio
[j2]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 13:44:01 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page