Deriving Programs by Combining and Adapting Refinement Scripts.

Lindsay Groves

Browse the full APSEC paper archive.