Model Checking Concurrent Linux Device Drivers

书目详细资料
Main Authors:	Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
格式:	Conference item
出版:	IEEE 2007

Model checking concurrent linux device drivers 由 Witkowski, T, Blanc, N, Kroening, D, Weissenbacher, G

出版 2007

Conference item