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

Advertisement

Using formal methods to specify the functional properties of engineering software

Author(s):
Medium: journal article
Language(s): English
Published in: Computers & Structures, , n. 3, v. 45
Page(s): 557-570
DOI: 10.1016/0045-7949(92)90440-b
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.1016/0045-7949(92)90440-b.
  • About this
    data sheet
  • Reference-ID
    10277690
  • Published on:
    05/01/2019
  • Last updated on:
    05/01/2019
 
Structurae cooperates with
International Association for Bridge and Structural Engineering (IABSE)
e-mosty Magazine
e-BrIM Magazine