世界上充满了显而易见的事情,但没有人会去注意它们。
If I was an artist and I was in the studio, then whatever I was doing in the studio must be art.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."