| Type |  Book |
| ชื่อเรื่อง | Model checking software : 14th international SPIN workshop : proceedings/ Dragan Bosnacki, Stefan Edelkamp (eds.) |
| ผู้แต่ง | International spin workshop (14th : 2007 : Berlin, Germany) |
| ISBN | 9783540733690 |
| พิมพลักษณ์ | Berlin : Springer, c2007 |
| รูปเล่ม | x, 283 p |
| หัวเรื่อง | Computer software --Verification --Congresses [] |