Протестировал

Авторский канал о качественнной разработке ПО (процессы, тестирование, формальная верификация)