%0 Conference Paper %1 conf/facs2/BosnackiBG0KRWZ15 %A Bosnacki, Dragan %A van den Brand, Mark %A Gabriels, Joost %A Jacobs, Bart %A Kuiper, Ruurd %A Roede, Sybren %A Wijs, Anton %A Zhang, Dan %B FACS %D 2015 %E Braga, Christiano %E Ölveczky, Peter Csaba %I Springer %K dblp %P 141-160 %T Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. %U http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#BosnackiBG0KRWZ15 %V 9539 %@ 978-3-319-28933-5

@inproceedings{conf/facs2/BosnackiBG0KRWZ15, added-at = {2023-11-21T00:00:00.000+0100}, author = {Bosnacki, Dragan and van den Brand, Mark and Gabriels, Joost and Jacobs, Bart and Kuiper, Ruurd and Roede, Sybren and Wijs, Anton and Zhang, Dan}, biburl = {https://www.bibsonomy.org/bibtex/22e084891900d6631d7e06c98a7b773d9/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2015}, editor = {Braga, Christiano and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-319-28934-2_8}, interhash = {cc5457f3a93187d2248074b5afc14292}, intrahash = {2e084891900d6631d7e06c98a7b773d9}, isbn = {978-3-319-28933-5}, keywords = {dblp}, pages = {141-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:16:21.000+0200}, title = {Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#BosnackiBG0KRWZ15}, volume = 9539, year = 2015 }