dblp.uni-trier.dewww.uni-trier.de

Manuela Xavier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEManuela Xavier, Ana Cavalcanti, Augusto Sampaio: Type Checking Circus Specifications. Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008)
2007
2EEManuela Xavier, Ana Cavalcanti: Mechanised Refinement of Procedures. Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007)
2004
1EEMarcel Oliveira, Manuela Xavier, Ana Cavalcanti: Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319

Coauthor Index

1Ana Cavalcanti [1] [2] [3]
2Marcel Oliveira [1]
3Augusto Sampaio [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)