Вы здесь
Ayari A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | LISA: A Specification Language Based on WS2S | 1998 | Ayari A., Basin D., Podelski A. | Lecture Notes in Computer Science | 19.06.1998 | |||
| СТ | Generic System Support for Deductive Program Development | 1996 | Ayari A., Basin D. A. | Lecture Notes in Computer Science | 24.04.1996 |