Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
Proceedings of the Institute for System Programming of RAS
doi 10.15514/ispras-2013-24-13
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2013
Authors
Publisher
Institute for System Programming of the Russian Academy of Sciences