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