From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 23 Jan 2019 20:14:36 +0000 (+0300)
Subject: Почему люди не используют формальные методы
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=4a118b13fd54de187def68b7f485c7ac4d8503d2;p=stargrave-blog.git

Почему люди не используют формальные методы

https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
Потому-что сложно. Требует крутых знаний и подготовки -- дорого. Только
über-критичные вещи ещё наверное можно подумать.
---