I'm a person who likes to be abnormal.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
To make something good, just do it. To make something great, just re-do it, re-do it, re-do it. The secret to making fine things is in remaking them.