TY  - BOOK
AU  - Климов, Андрей Валентинович
AU  - Ключников,Илья Григорьевич
AU  - Романенко,Сергей Анатольевич
TI  - № 19. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 2012///
CY  - Москва
PB  - ИПМ им. М. В. Келдыша РАН
UR  - https://keldysh.ru/papers/2012/prep2012_19_rus.pdf
ER  -