Experiences with a Generic Refinement Toolkit (Short Paper).

Robin Boswell, Susan Craw

Browse the full EKAW paper archive.