TY  - BOOK
AU  - Марьясов, И. В.
TI  - На пути к автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernel
T2  - Препринт
VL  - 150
PY  - 2008///
CY  - Новосибирск
PB  - Ин-т систем информатиики
KW  - Программы(компьют.)
KW  - Верификация
KW  - nlr_sh2
KW  - RU\NLR\auth\661327565
KW  - C, язык программирования
KW  - RU\NLR\auth\661040545
KW  - C-LIGHT
KW  - З973.2-018-5-05,0
KW  - rubbk
KW  - З973.2-018-07
N2  - Библиогр.: с. 32 (6 назв.)
ER  -