Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

Author(s)

• VMCAI
• Emerson, E. Allen
• Namjoshi, Kedar S.

Bibliographic Information

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

E. Allen Emerson, Kedar S. Namjoshi (eds.)

（Lecture notes in computer science, 3855）

Springer, c2006

Note

Includes bibliographical references and index

Details

• NCID: BA75188996
• ISBN:
  • 3540311394
• LCCN: 2005937944
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xi, 442 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Computer programs -- Verification -- Congresses
• Parent Bibliography ID:
  • BA00009279