Code Synthesis Based on Object-Oriented Design Models and Formal Specifications.

Xiaoping Jia, Sotiris Skevoulis

Browse the full COMPSAC paper archive.