| Type |  Book |
| ชื่อเรื่อง | Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds.) |
| ผู้แต่ง | VMCAI 2004 (2004 : Venice, Italy) |
| ISBN | 3540208038 |
| พิมพลักษณ์ | Berlin : Springer, 2004 |
| รูปเล่ม | xi, 324 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer programs --Verification --Congresses [] |