• DocumentCode
    3626164
  • Title

    Fifth IEEE International Conference on Software Engineering and Formal Methods - Copyright

  • fYear
    2007
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on
  • ISSN
    1551-0255
  • Print_ISBN
    0-7695-2884-8;978-0-7695-2884-7
  • Electronic_ISBN
    2160-7656
  • Type

    conf

  • DOI
    10.1109/SEFM.2007.15
  • Filename
    4343912