Thomas Calder, Yngve Lamo. A Bottom Up Approach to Model Based Program Validation. In Davide Di Ruscio, Juan de Lara, Alfonso Pierantonio, editors, Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 2, 2016. Volume 1694 of CEUR Workshop Proceedings, pages 12-21, CEUR-WS.org, 2016. [doi]
@inproceedings{CalderL16,
title = {A Bottom Up Approach to Model Based Program Validation},
author = {Thomas Calder and Yngve Lamo},
year = {2016},
url = {http://ceur-ws.org/Vol-1694/FlexMDE2016_paper_7.pdf},
researchr = {https://researchr.org/publication/CalderL16},
cites = {0},
citedby = {0},
pages = {12-21},
booktitle = {Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 2, 2016},
editor = {Davide Di Ruscio and Juan de Lara and Alfonso Pierantonio},
volume = {1694},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}