• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Configurable toolset for static verification of operating systems kernel modules

Programming and Computer Software. 2015. Vol. 41. No. 1. P. 49-64.
Khoroshilov A. V., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Petrenko A. K., Захаров И. С.