Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation.

Kong E. Cheng, Lindsay N. Jackson

Browse the full FORTE paper archive.