Вы здесь
Батраков В. А.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Автоматическое доказательство формул корректности предикатной программы в системе Russell | 2012 | Батраков В. А., Шелехов В. И. | ИСИ СО РАН | 10.06.2013 |