Automatically Generating C++ Programs from LOTOS Behavior Specifications.

Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh

Browse the full APSEC paper archive.