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


Model-Based Testing. Editor of proceddings.

Авторы

A.Petrenko, Yu.Gurevich, B.Finkbeiner.

Издание

Electronic Note in Theoretical Computer Science, 2009.

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

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

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