Manuela Xavier

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Manuela Xavier, Ana Cavalcanti, Augusto Sampaio
Type Checking Circus Specifications. Electron. Notes Theor. Comput. Sci. 195 (2008)
Manuela Xavier, Ana Cavalcanti
Mechanised Refinement of Procedures. Electron. Notes Theor. Comput. Sci. 184 (2007)
Marcel Oliveira, Manuela Xavier, Ana Cavalcanti
Refine and Gabriel: Support for Refinement and Tactics. SEFM (2004)