• RecordNumber
    1210
  • Author

    Cornelis A. Middleburg

  • Title

    Logic & specification extending VDM_SL for advanced formal specification

  • Publication
    Chapman & Hall Computing
  • Publication Year
    1993
  • Collation
    406
  • ISBN
    0412486806
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=1210&Field=0&DTC=11