Manuela Xavier

According to our database, Manuela Xavier authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2006

Type Checking Circus Specifications.

Manuela Xavier, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Mechanised Refinement of Procedures.

Manuela Xavier, Ana Cavalcanti

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

Refine and Gabriel: Support for Refinement and Tactics.

Marcel Oliveira, Manuela Xavier, Ana Cavalcanti

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004