Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
| Publication date | 13/02/2020 |
|---|---|
| Host publication | Formal Aspects of Component Software (FACS 2019) |
| Editors | F. Arbab, S.S. Jongmans |
| Place of Publication | Cham |
| Publisher | Springer |
| Pages | 72-86 |
| Number of pages | 15 |
| ISBN (electronic) | 9783030409142 |
| ISBN (print) | 9783030409135 |
| <mark>Original language</mark> | English |
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 12018 |