0
  • DE
  • EN
  • FR
  • International Database and Gallery of Structures

Advertisement

Shaping Formal Methods: Syntax, Typology and Computation

Author(s): ORCID
ORCID
Medium: journal article
Language(s): English
Published in: Nexus Network Journal, , n. 1, v. 27
Page(s): 1-5
DOI: 10.1007/s00004-025-00811-5
Structurae cannot make the full text of this publication available at this time. The full text can be accessed through the publisher via the DOI: 10.1007/s00004-025-00811-5.
  • About this
    data sheet
  • Reference-ID
    10816395
  • Published on:
    03/02/2025
  • Last updated on:
    07/03/2025
 
Structurae cooperates with
International Association for Bridge and Structural Engineering (IABSE)
e-mosty Magazine
e-BrIM Magazine