生命的历史是创新的历史。
The history of life is a history of innovation.
未来属于那些能够在盈利和环境责任之间取得平衡的人。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
一个组织的道德质量决定了其决策的质量。
成功是个糟糕的老师。它诱使聪明人以为自己不会失败。