Институт системного программирования им. В.П. Иванникова РАН


The Experience of Linux Driver Verification.

Авторы

Alexey Khoroshilov, Vadim Mutilin.

Издание

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

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

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

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