读着读着怎么感觉这一期的主题是reliability+PL？ 阅读时主要关注（1）-（3）吧。 （1）分析OS级别...[作者空间]

这期的主题貌似主要是formal specification： （1）强调人的interactive，（2）推测程...[作者空间]