形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Quality should never be compromised, even when facing the toughest challenges.
所有科学的统一性仅在于其方法,而不在于其材料。
Success comes from understanding your customers better than they understand themselves.
每个人的生命都是上帝用手指写下的童话。