Implementing Tactics of Refinement in CRefine.

Madiel Conserva Filho, Marcel Vincius Medeiros Oliveira

Browse the full SEFM paper archive.