| Original language | English |
|---|---|
| Pages (from-to) | v-vi |
| Journal | Communications in Computer and Information Science |
| Volume | 1301 CCIS |
| Publication status | Published - 2021 |
| Event | 1st International Workshop on Formal Methods - Fun for Everybody, FMFun 2019 - Bergen, Norway Duration: Dec 2 2019 → Dec 3 2019 |
ASJC Scopus subject areas
- General Computer Science
- General Mathematics