Original language | English |
---|---|
Publisher | Journal of Logical and Algebraic Methods in Programming (JLAMP) |
Edition | 103 |
DOIs | |
Publication status | Published - Jan 2023 |
Fields of Science and Technology Classification 2012
- 102 Computer Sciences
- 101 Mathematics
Ilaria Castellani, Pedro D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
Research output: Other contribution › Communication
Original language | English |
---|---|
Publisher | Journal of Logical and Algebraic Methods in Programming (JLAMP) |
Edition | 103 |
DOIs | |
Publication status | Published - Jan 2023 |