TY  - BOOK
AU  - Чушкин, М. С.
AU  - Шелехов, В. И.
TI  - Генерация и доказательство условий корректности предикатных программ
T2  - Препринт
VL  - 166
PY  - 2012///
CY  - Новосибирск
PB  - Институт систем информатики им. А.П. Ершова СО РАН
KW  - Предикатное программирование(компьют.)
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661366085
KW  - Программы(компьют.)
KW  - Верификация
KW  - RU\NLR\AUTH\661327565
KW  - З973.2-018.2
N2  - Библиогр.: с. 39-40 (17 назв.)
ER  -