Формальные спецификации в технологиях обратной инженерии и верификации программ. by И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко

Get full text