• DocumentCode
    318461
  • Title

    Formal Methods (Europe) Industrial Seminars

  • Author

    Denvir, Tim

  • Author_Institution
    Translimina Ltd., UK
  • fYear
    1997
  • fDate
    35573
  • Firstpage
    42370
  • Lastpage
    42371
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Industrial Use of Formal Methods (Digest No: 1977/171), IEE Colloquium on
  • Conference_Location
    IET
  • Type

    conf

  • Filename
    640800
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=318461