]> Sergey Matveev's repositories - stargrave-blog.git/commitdiff
projects / stargrave-blog.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cada1b8)
Почему люди не используют формальные методы
authorSergey Matveev <stargrave@stargrave.org>
Wed, 23 Jan 2019 20:14:36 +0000 (23:14 +0300)
committerSergey Matveev <stargrave@stargrave.org>
Wed, 23 Jan 2019 20:14:36 +0000 (23:14 +0300)
https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
Потому-что сложно. Требует крутых знаний и подготовки -- дорого. Только
über-критичные вещи ещё наверное можно подумать.


No differences found
Blog