Travelled to:1 × USA
Collaborated with:M.Chung
Talks about:program (2) nonprocedur (1) procedur (1) automat (1) specif (1) method (1)
Person: Yung-Taek Kim
DBLP: Kim:Yung=Taek
Contributed to:
Wrote 1 papers:
- SEKE-1990-ChungK #automation #programming #specification
- An Automatic Programming Method of Nonprocedural / Procedural Program Specification (MDC, YTK), pp. 222–227.












