TY  - BOOK
AU  - Klimov, A. V.
AU  - Ključnikov, I. G.
AU  - Romanenko, S. A.
TI  - Automatic verification of counter systems via domain-specific multi-result supercompilation
T2  - Препринт
VL  - N 19 за 2012 г.
PY  - 2012///
CY  - Moscow
PB  - [s.n.]
KW  - MRSC, компиляторы(компьют.)
KW  - nlr_sh2
KW  - RU\NLR\AUTH\6601580053
KW  - З973.2-018-5-05
N2  - Библиогр.: с. 25-28 (42 назв.)
ER  -