Refine and Gabriel: Support for Refinement and Tactics.

Marcel Oliveira, Manuela Xavier, Ana Cavalcanti

Browse the full SEFM paper archive.