|
На пути к верификации C-программ: трехуровневый подход [Текст] / В. Непомнящий, И. Ануреев, И. Дубрановский, А. Промский // Программирование. – 2006. – № 4. – 4-20.
Представлен новый трехуровневый подход к верификации последовательных объектно-ориентированных программ |