Final published version
Licence: CC BY: Creative Commons Attribution 4.0 International License
Research output: Contribution to Journal/Magazine › Journal article › peer-review
<mark>Journal publication date</mark> | 18/08/2022 |
---|---|
<mark>Journal</mark> | Formal Methods in System Design |
Issue number | 1-3 |
Volume | 59 |
Number of pages | 33 |
Pages (from-to) | 44-76 |
Publication Status | Published |
Early online date | 18/08/22 |
<mark>Original language</mark> | English |