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


Formal Methods in Industrial Software Standards Enforcement.

Авторы

A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov.

Издание

Proc. of PSI'2006, Novosibirsk, Russia, June 2006.

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

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

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