Вы здесь
Marre B.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming | 1991 | Marre B. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 |