Model Checking Concurrent Linux Device Drivers

Detalhes bibliográficos
Main Authors: Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
Formato: Conference item
Publicado em: IEEE 2007