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


Certification of open-source software: A role for formal methods?

Авторы

A.K.Petrenko.

Издание

International Journal of Computer Systems Science and Engineering (IJCSSE), 2009.

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

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

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