Mixing Abstract and Concrete Modules: Specification, Development and Prototyping.

Christine Choppy, Stphane Kaplan

Browse the full ICSE paper archive.