Книги — контрактное программирование

Основы тестирования и верификации программного обеспечения