我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
最终,我们都只是故事。重要的是我们如何讲述它们。