• DocumentCode
    3532019
  • Title

    [Title page iii]

  • fYear
    2008
  • fDate
    10-14 Nov. 2008
  • Abstract
    Conference proceedings title page.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
  • Conference_Location
    Cape Town
  • Print_ISBN
    978-0-7695-3437-4
  • Type

    conf

  • DOI
    10.1109/SEFM.2008.2
  • Filename
    4685782
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3532019