Your most unhappy customers are your greatest source of learning.
你最不满意的客户是你最大的学习来源。
未来的竞争是数据的竞争。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Music is the universal language. It speaks to everyone, no matter where you're from.