Model-Based Testing. Editor of proceddings.


Model-Based Testing. Editor of proceddings.

Авторы

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

Издание

Electronic Note in Theoretical Computer Science, 2009.

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

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

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