Методы верификации программ
Миронов А. М.
Обложка: