From models to code and back: correct-by-construction code from UML and ALF.

Federico Ciccozzi

Browse the full ICSE paper archive.