Generating C Code from LOGS Specifications.

Jianguo Zhou, Yifeng Chen

Browse the full ICTAC paper archive.