Searching for "The Refinement Relation of Graph-Based Generic Programs." – sorted by Relevance.
-
The Refinement Relation of Graph-Based Generic Programs
- The Refinement Relation of Graph-Based Generic Programs Karl Lieberherr 1 and Boaz Patt
- Cited by 1 (1 self) – Add To MetaCart

