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


Применение аспектно-ориентированного программирования для поддержки верификация ядра операционной системы Linux.

Авторы

Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов.

Издание

Труды 52-й Научной Конференции МФТИ стр. 31-33.

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

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

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