• DocumentCode
    3638809
  • Title

    Copyright Page

  • fYear
    2010
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
  • Print_ISBN
    978-1-4244-8289-4
  • Type

    conf

  • DOI
    10.1109/SEFM.2010.3
  • Filename
    5637301