TY  - BOOK
AU  - Promskij, A. V.
TI  - A formal approach to the error localization
T2  - Preprint
VL  - 169
PY  - 2012///
CY  - Novosibirsk
PB  - A.P. Ershov institute of informatics systems
KW  - Программы (компьют.)
KW  - Верификация
KW  - RU\NLR\AUTH\661327565
KW  - З973.2-018-07
N2  - Библиогр.: с. 31-32 (13 назв.)
ER  -