Shaping Formal Methods: Syntax, Typology and Computation

Theodoros Dounas, Davide Lombardi^*

^*Corresponding author for this work

Department of Architecture

Heriot-Watt University

Research output: Contribution to journal › Letter › peer-review

1 results
- Title
- Start date(ascending)

Filter

Nexus Network Journal (Journal)
Theodoros Dounas (Editor), Davide Lombardi (Editor) & Michael Ostwald (Editor in chief)
Jun 2023 → Mar 2025
Activity: Peer-review and editorial work of publications › Editorial work