| Name: |
ali | | E-Mail: |
tntn1111 at hotmail.com | | Gender: |
Male | | Comments: |
hjfhmjl7yjjjjjjjjjjjjjgggggggggbn nnnnnnnnnnnvvvvvvvvvvv mmmmmmmmmm | | Fortune: |
Quote #592
The job of formal methods is to elucidate the assumptions upon which formal
correctness depends.
-- Tony Hoare |
|
