Integrating Formal Methods with Model-Driven Engineering.

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Browse the full ICSEA paper archive.