Shaping Formal Methods: Syntax, Typology and Computation

Autor(en):	Theodoros Dounas Davide Lombardi
Medium:	Fachartikel
Sprache(n):	Englisch
Veröffentlicht in:	Nexus Network Journal
DOI:	10.1007/s00004-025-00811-5

Structurae kann Ihnen derzeit diese Veröffentlichung nicht im Volltext zur Verfügung stellen. Der Volltext ist beim Verlag erhältlich über die DOI: 10.1007/s00004-025-00811-5.

Anzeige

Structurae kooperiert mit

Anzeige