A Lewisian approach to the verification of adaptive systems
- Fabio Gadducci
- , Alberto Lluch Lafuente
- , Andrea Vandin
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review