| |
Непомнящий, В. А.
Символический метод верификации финитных итераций над изменяемыми структурами данных [Текст] / В. А. Непомнящий
// Программирование. – 2005. – № 1. – 3-14.
С целью расширения области применения символического метода верификации вводятся финитные итерации над изменяемыми структурами данных, которые оказываются сводимыми к стандартным финитным итерациям |
