记忆不仅是个人的事情,也是集体的事情。
科学的精确性既需要严谨,也需要创造力。
我们是我们一再重复的行为。因此,卓越不是一种行为,而是一种习惯。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."