Skip to content

Program Refinement Using Generic Object.

Yasuomi Sato, Yasuhiko Morimoto, Tadao Ichikawa

VenueCSEKE
Year1992
ProceedingsSEKE

Browse the full SEKE paper archive.