From Model Driven Engineering to Verification Driven Engineering.

Fabrice Kordon Jérôme Hugues Xavier Renault From Model Driven Engineering to Verification Driven Engineering. 381-393 2008 SEUS http://dx.doi.org/10.1007/978-3-540-87785-1_34 conf/seus/2008 db/conf/seus/seus2008.html#KordonHR08