| Name: |
mohsen | | E-Mail: |
mohsenpirpaka at yahoo.com | | Location: |
tehran | | Birth Year: |
1980 | | Gender: |
Male | | Comments: |
man pesare badi hastam .
tamas begiri mighorameton | | Fortune: |
Quote #592
The job of formal methods is to elucidate the assumptions upon which formal
correctness depends.
-- Tony Hoare |
|
