短期融資市場是現(xiàn)代金融的阿喀琉斯之踵。
堅毅的人把成就視為馬拉松；他或她的優(yōu)勢是耐力。
領(lǐng)導(dǎo)力不是發(fā)號施令，而是激勵他人成就偉大。
The only thing that can make you a legend is your passion.
Those who dream by day are cognizant of many things which escape those who dream only by night.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."