Вы здесь
Мацко Е. А.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Автоматическая верификация программ линейной алгебры | 2007 | Мацко Е. А. | Технологии Microsoft в теории и практике программирования | 07.03.2007 | |||
| П | Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры | 2003 | Непомнящий В. А., Мацко Е. А. | ИСИ СО РАН | 01.05.2003 |