Author Info
Name
Affiliation
Papers
MANUELA XAVIER
Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil
3
Collaborators
Citations 
PageRank 
3
19
1.87
Referers 
Referees 
References 
18
46
33
Title
Citations
PageRank
Year
Type Checking Circus Specifications70.582008
Mechanised Refinement of Procedures10.392007
Refine and Gabriel: Support for Refinement and Tactics110.902004