Semi-automatic Transformation from Formal Specifications to Programs.

Shaoying Liu, Chris Ho-Stuart

Browse the full ICECCS paper archive.