Quotes
Tony Hoare
http://alloytools.org/tutorials/day-course/s1_logic.pdf
One way is to make it so simple there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. |
---|
Richard P. Feynman
http://alloytools.org/tutorials/day-course/s1_logic.pdf
The first principle is that you must not fool yourself, and you are the easiest person to fool. |
---|