TY  - BOOK
AU  - Дубрановский, И.В.
TI  - На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL
T2  - Препринт
VL  - 140
PY  - 2006///
CY  - Новосибирск
PB  - Институт систем информатики СО РАН
KW  - Программы (компьют.)
KW  - Верификация
KW  - RU\NLR\auth\661327565
KW  - C#, язык программирования
KW  - RU\NLR\auth\661325801
KW  - З973.2-018-07
N2  - Библиогр.: с. 54-55 (10 назв.)
ER  -