Открыть список
Как стать автором
Обновить
35
Карма
0,1
Рейтинг
Сергей Бронников @estet

Пользователь

Значки
  • Захабренный
О себе
I make software suck less.

Веду канал о тестировании ПО — t.me/sqaunderhood

Русскоязычный Telegram-чат, посвящённый вопросам формальной верификации ПО (проверка моделей c TLA+, SPIN, Alloy, дедуктивная верификация c Coq, Agda, Isabelle etc) — t.me/practical_fm
Состоит в хабах
Пригласил на сайт
Подписан на компании

Информация

В рейтинге
2,743-й
Откуда
Москва, Москва и Московская обл., Россия
Зарегистрирован
Активность