• DocumentCode
    1651455
  • Title

    Table of contents

  • fYear
    2004
  • Abstract
    Presents the table of contents of the proceedings.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
  • Conference_Location
    Beijing, China
  • Print_ISBN
    0-7695-2222-X
  • Type

    conf

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