Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs. Towards Verified Java Code Generation from Concurrent State Machines. In Jürgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe, editors, Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. Volume 1277 of CEUR Workshop Proceedings, pages 64-69, CEUR-WS.org, 2014. [doi]
@inproceedings{ZhangBBEHKW14,
title = {Towards Verified Java Code Generation from Concurrent State Machines},
author = {Dan Zhang and Dragan Bosnacki and Mark van den Brand and Luc Engelen and Cornelis Huizing and Ruurd Kuiper and Anton Wijs},
year = {2014},
url = {http://ceur-ws.org/Vol-1277/7.pdf},
researchr = {https://researchr.org/publication/ZhangBBEHKW14},
cites = {0},
citedby = {0},
pages = {64-69},
booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014},
editor = {Jürgen Dingel and Juan de Lara and Levi Lucio and Hans Vangheluwe},
volume = {1277},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}