@Inproceedings{EPTCS268.0.1,
  author    = {Leroy, Xavier},
  year      = {2018},
  title     = {Formal Verification of Code Generators for Modeling Languages --- Abstract of Invited Presentation},
  editor    = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin},
  booktitle = {{\rm Proceedings Third Workshop on}
               Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation,
               {\rm Thessaloniki, Greece, 20th April 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {5-5},
  doi       = {10.4204/EPTCS.268.0.1},
}