The Experience of Linux Driver Verification.


The Experience of Linux Driver Verification.

Авторы

Alexey Khoroshilov, Vadim Mutilin.

Издание

Talk at Dagstuhl Seminar 14171, Schloss Dagstuhl, 25 April 2014.

Научная группа

Технологии программирования

Все публикации за 2014 год Все публикации