acm sigbed
|
emsoft
|
participants
Viorel Preoteasa
EMSOFT 2014: 14th International Conference on Embedded Software
Refinement Calculus of Reactive Systems
Viorel Preoteasa
and
Stavros Tripakis
10.1145/2656045.2656068
https://arxiv.org/pdf/1406.6035.pdf