• DocumentCode
    651299
  • Title

    Preface

  • Author

    Jobstmann, Barbara ; Ray, Sandip

  • Author_Institution
    EPFL, Jasper Design Automation, France
  • fYear
    2013
  • fDate
    20-23 Oct. 2013
  • Abstract
    The International Conference on Formal Methods in Computer-Aided Design, FMCAD, is a series of conferences on the theory and application of formal methods to the computer-aided design and verification of hardware and systems. The thirteenth conference in the series, FMCAD 2013, was held in Portland, OR, USA, October 20–23.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods in Computer-Aided Design (FMCAD), 2013
  • Conference_Location
    Portland, OR
  • Type

    conf

  • DOI
    10.1109/FMCAD.2013.6679383
  • Filename
    6679383
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=651299