acm sigbed
|
emsoft
|
participants
David Monniaux
EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software
Verification of Device Drivers and Intelligent Controllers: a Case Study
David Monniaux
10.1145/1289927.1289937
https://hal.archives-ouvertes.fr/hal-00158869/document