Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

Author(s)

• VMCAI
• Cortesi, Agostino

Bibliographic Information

Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

Agostino Cortesi (ed.)

（Lecture notes in computer science, 2294）

Springer, c2002

Note

Includes bibliographies and index

Details

• NCID: BA56627319
• ISBN:
  • 3540436316
• LCCN: 01032221
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: viii, 330 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279