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


Formal Methods for Open Source Components Certification.

Авторы

A. Khoroshilov, V. Mutilin.

Издание

Milan, Italy, In Proceedings of the Second International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2008), 10 September 2008, pp. 52-63.

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

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

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