How to Cook an Automated System for Linux Driver Verification
doi 10.15514/syrcose-2008-2-14
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2008
Authors
Publisher
Institute for System Programming of the Russian Academy of Sciences