• RecordNumber
    1870
  • Author

    Breitman, Karin

  • Title

    Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009 Rio de Janeiro, Brazil, December 9-12, 2009 Proceedings

  • SubTitle
    11th International Conference on Formal Engineering Methods, ICFEM 2009 Rio de Janeiro, Brazil, December 9-12, 2009 Proceedings
  • Publication
    Springer
  • Publication Year
    2009
  • Collation
    xiv, 758p.
  • ISBN
    978-3-642-10372-8
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=1870&Field=0&DTC=13