Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

Author(s)

• ICFEM
• Butler, Michael
• Hinchey, Michael G. (Michael Gerard)
• Larrondo-Petrie, María M.

Bibliographic Information

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

（Lecture notes in computer science, 4789）

Springer, c2007

Other Title

ICFEM 2007

Note

Includes bibliographies and index

• NCID: BA84116613
• ISBN:
  • 9783540766483
• LCCN: 2007938401
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: x, 386 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Software engineering -- Congresses
• Parent Bibliography ID:
  • BA00009279