Knowledge-oriented Specification Analysis and Transformation.

Shun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao

Browse the full SEKE paper archive.