An Automatic Programming Method of Nonprocedural / Procedural Program Specification.

Mok-Dong Chung, Yung-Taek Kim

Browse the full SEKE paper archive.