Name: |
Harry Ness | E-Mail: |
hness at bigalproductions.com | Web Page: |
www.bigalproductions.com | Location: |
New York City | Birth Year: |
1975 | Gender: |
Male | Comments: |
Great site!!! You and I have a similar taste in movies. | Fortune: |
Quote #592
The job of formal methods is to elucidate the assumptions upon which formal
correctness depends.
-- Tony Hoare |
|