通往CEO办公室的道路不应经过CFO办公室,也不应经过营销部门。它需要经过工程和设计。
质量比数量更重要。一个全垒打比两个二垒安打好得多。
Never put off till tomorrow what you can do the day after tomorrow.
真正的领导力是为他人服务,而不是命令他们。
The challenge in model checking is not just to find errors, but to understand why they occur.