Crossmark

Shaping Formal Methods: Syntax, Typology and Computation

Crossref DOI link: https://doi.org/10.1007/s00004-025-00811-5

Published Online: 2025-01-23

Published Print: 2025-03

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Dounas, Theodoros https://orcid.org/0000-0002-2731-0493
Lombardi, Davide https://orcid.org/0000-0001-7128-4635
License Information

Text and Data Mining valid from 2025-01-23

Version of Record valid from 2025-01-23
More Information

Article History

First Online: 23 January 2025

Free to read: This content has been made available to all.