From Model Driven Engineering to Verification Driven Engineering

Kordon, F., Hugues, J., & Renault, X. (2008). From Model Driven Engineering to Verification Driven Engineering. Lecture notes in computer science, 381–393. https://doi.org/10.1007/978-3-540-87785-1_34

Kordon, Fabrice, et al. “From Model Driven Engineering to Verification Driven Engineering.” Lecture notes in computer science, 2008, pp. 381–93, https://doi.org/10.1007/978-3-540-87785-1_34.

Kordon, Fabrice, Jérôme Hugues, and Xavier Renault. 2008. “From Model Driven Engineering to Verification Driven Engineering.” Lecture notes in computer science: 381–93. https://doi.org/10.1007/978-3-540-87785-1_34.

Kordon, F., Hugues, J. and Renault, X. (2008) ‘From Model Driven Engineering to Verification Driven Engineering’, Lecture notes in computer science, pp. 381–393. Available at: https://doi.org/10.1007/978-3-540-87785-1_34.

@incollection{kordon2008model,
  title = {{From Model Driven Engineering to Verification Driven Engineering}},
  author = {Kordon, Fabrice and Hugues, Jérôme and Renault, Xavier},
  booktitle = {Lecture notes in computer science},
  pages = {381--393},
  year = {2008},
  doi = {10.1007/978-3-540-87785-1_34}
}