[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Verification of device drivers and intelligent controllers
Monniaux, DavidYear:
2007
Language:
english
DOI:
10.1145/1289927.1289937
File:
PDF, 311 KB
english, 2007