Static-Dynamic Verification of Linux Kernel File System Drivers


Static-Dynamic Verification of Linux Kernel File System Drivers

Denis Efremov. Starts at May 14, 2014.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS