Вы здесь

Devaraj G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Auto-generating Test Sequences Using Model Checkers: A Case Study 2004 Heimdahl M.P. E., Rayadurgam S., Visser W., Devaraj G., Gao J. Lecture Notes in Computer Science 11.03.2004