Вы здесь
Maksimov A. V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formal Specifications in Reverse Engineering and Software Verification | 2000 | Bourdonov I. B., Demakov A. V., Kossatchev A. S., Maksimov A. V., Petrenko A. K. | Proceedings of Institute for System Programming | 23.12.2000 |