Refinement via Interpretation.

Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa

Browse the full SEFM paper archive.