![](/img/cover-not-exists.png)
[ACM Press the 5th ACM SIGPLAN International Workshop - Boston, MA, USA (2018.11.04-2018.11.04)] Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2018 - Synthesizing manually verifiable code for statecharts
Smyth, Steven, Motika, Christian, von Hanxleden, ReinhardYear:
2018
DOI:
10.1145/3281278.3281283
File:
PDF, 1.90 MB
2018