Travelled to:
1 × Italy
Collaborated with:
Y.Morimoto T.Ichikawa
Talks about:
program (1) generic (1) object (1) refin (1) use (1)
Person: Yasuomi Sato
DBLP: Sato:Yasuomi
Contributed to:
Wrote 1 papers:
- SEKE-1992-SatoMI #refinement #using
- Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.