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


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

Авторы

A.Petrenko, Luis S. Barbosa, Antonio Cerone, and Siraj A. Shaikh.

Издание

International Journal of Computer Systems Science and Engineering (IJCSSE), Vol 25 No 4 July 2010.

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

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

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