Книги по теме: верификация программ

Книг по теме верификация программ нет в наличии.