Ivannikov Institute for System Programming of the RAS


Static and Dynamic Verification of Linux Kernel File Systems Drivers

Denis Efremov. Starts at March 26, 2013.

The presentation of the report can be found here.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS