| Type |  Book |
| ชื่อเรื่อง | Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gerard Berry, Hubert Comon, Alain Finkel (eds.) |
| ผู้แต่ง | International Conference on Computer Aided Verification (13th : 2001 : Paris) |
| ISBN | 3540423451 |
| พิมพลักษณ์ | Berlin : Springer, 2001 |
| รูปเล่ม | xiii, 520 p. ; 24 cm |
| หัวเรื่อง | Computer software --Verification --Congresses [] |
| | Integrated circuits --Verification --Congresses [] |