The customer may not always be right, but they are always the customer.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
旧梦是好梦,没有实现,但是我很高兴我有过这些梦。
Success is not about the money or the fame. It's about doing what you love and making a difference.