&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Препринты ИПМ им.М.В.Келдыша. &mdash; 2012. &mdash; Москва: ИПМ им. М. В. Келдыша РАН.<br><br>Климов, Андрей Валентинович.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;№ 19. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции / А. В. Климов, И. Г. Ключников, С. А. Романенко. &mdash; Москва : ИПМ им. М. В. Келдыша РАН, 2012. &mdash; 30 с. (Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). &mdash; ISSN 2071-2898 (Print). &mdash; ISSN 2071-2901 (Online).<br><br><br>Ключников, Илья Григорьевич<br>Романенко, Сергей Анатольевич<br><br>[ SYS NUM: 20691 ]