![](/img/cover-not-exists.png)
The Refinement Calculus of Reactive Systems Toolset
Dragomir, Iulia, Preoteasa, Viorel, Tripakis, StavrosJournal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-020-00561-4
Date:
April, 2020
File:
PDF, 1.55 MB
2020