CRefine: Support for the Circus Refinement Calculus.

Marcel Vincius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro

Browse the full SEFM paper archive.