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


Concurrent Testing of Java Components Using Java PathFinder.

Авторы

V.Mutilin.

Издание

IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 45-51.

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

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

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