• DocumentCode
    2893196
  • Title

    Table of contents

  • fYear
    2009
  • fDate
    23-27 Nov. 2009
  • Abstract
    Presents the table of contents of the proceedings.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
  • Conference_Location
    Hanoi
  • Print_ISBN
    978-0-7695-3870-9
  • Type

    conf

  • DOI
    10.1109/SEFM.2009.8
  • Filename
    5368056