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