• DocumentCode
    1578856
  • Title

    Fifth IEEE International Conference on Software Engineering and Formal Methods - Title page

  • fYear
    2007
  • Abstract
    The following topics are dealt with: software engineering; formal method; model checking; software testing; data security; formal specification; Web services; formal verification.
  • Keywords
    software engineering; Web services; data security; formal method; formal specification; formal verification; model checking; software engineering; software testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on
  • Conference_Location
    London
  • Print_ISBN
    978-0-7695-2884-7
  • Type

    conf

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