Nexus Network Journal (Journal)

Theodoros Dounas (Editor)
Lombardi, D. (Editor)
Michael Ostwald (Editor in chief)

Department of Architecture

Activity: Peer-review and editorial work of publications › Editorial work

Description

Guest editing of Issue 1, Volume 27, Nexus Network Journal
Shaping Formal Methods: Syntax, Typology and Computation

Period	Jun 2023 → Mar 2025
Type of journal	Journal
ISSN	1590-5896
Degree of Recognition	International

Documents & Links

https://link.springer.com/journal/4/volumes-and-issues/27-1

Related content

Research output
Shaping Formal Methods: Syntax, Typology and Computation
Research output: Contribution to journal › Letter › peer-review