TY  - BOOK
AU  - Гаранина, Н. О.
TI  - Аффинное представление данных для проверки моделей программ
T2  - Препринт
VL  - 116
PY  - 2004///
CY  - Новосибирск
PB  - Б.и.
KW  - Программы(компьют.)
KW  - Верификация
KW  - nlr-sh1
KW  - RU\NLR\auth\661327565
KW  - З973.2-018-07
N2  - Библиогр.: с. 48 (12 назв.)
ER  -