"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
成功的关键是专注于目标,而不是障碍。
【大意】人的贪欲多了,就会亏损道义;忧虑多了,就会损害智慧;畏惧多了,就会伤害勇气。
诚信是企业立足的根本,没有诚信就没有市场。
我不害怕说出自己的想法,即使它不受欢迎。
Escribir es una forma de protesta, y leer, una forma de resistencia.