| Name: |
Jack | | E-Mail: |
Meeoff | | Web Page: |
shroonegod at yahoo.com | | Location: |
US | | Birth Year: |
1999 | | Gender: |
Male | | Comments: |
very interesting | | Fortune: |
Quote #592
The job of formal methods is to elucidate the assumptions upon which formal
correctness depends.
-- Tony Hoare |
|
