Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs 0002, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. In Christiano Braga, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Volume 9539 of Lecture Notes in Computer Science, pages 141-160, Springer, 2015. [doi]
@inproceedings{BosnackiBG0KRWZ15,
title = {Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models},
author = {Dragan Bosnacki and Mark van den Brand and Joost Gabriels and Bart Jacobs 0002 and Ruurd Kuiper and Sybren Roede and Anton Wijs and Dan Zhang},
year = {2015},
doi = {10.1007/978-3-319-28934-2_8},
url = {http://dx.doi.org/10.1007/978-3-319-28934-2_8},
researchr = {https://researchr.org/publication/BosnackiBG0KRWZ15},
cites = {0},
citedby = {0},
pages = {141-160},
booktitle = {Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers},
editor = {Christiano Braga and Peter Csaba Ölveczky},
volume = {9539},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-28933-5},
}