Вы здесь
Dubranovsky I. V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Toward C# Program Verification: A Three-level Approach | 2005 | Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V. | IIS SB RAS | 30.12.2005 | |||
| СТ | A Three-Level Approach to C# Program Verification | 2004 | Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V. | Computer Science | Joint Bull. of NCC and IIS | 22.10.2004 |