• RecordNumber
    43687
  • Author

    Ed.: Robert Kurshan

  • Title

    Computer-aided verification

  • Publication
    Kluwer Academic Pablishers
  • Publication Year
    1993
  • Collation
    142
  • نام فايل
    IUST eb-117 -- eb117d4
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=43687&Field=0&DTC=2