Aspects for Synthesizing Applications by Refinement.

David Lesaint, George Papamargaritis

Browse the full ICSR paper archive.