index
И.Б.Бурдонов, А.С.Косачев, А.В.Демаков, А.К.Петренко, А.В.Максимов.
Формальные спецификации в технологиях обратной инженерии и верификации программ.
Труды Института системного программирования РАН, N 1, 1999, стр. 35-47.
16 стр.
doc, pdf