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