Block, SkipCaptcha
8,517
edits
Changes
Jump to navigation
Jump to search
Line 2:
Line 2: − +
recat
* [[Tony Hoare]] "published a series of papers on the use of assertions to prove correctness of computer programs." [http://research.microsoft.com/en-us/people/thoare/]
* [[Tony Hoare]] "published a series of papers on the use of assertions to prove correctness of computer programs." [http://research.microsoft.com/en-us/people/thoare/]
[[Category:Computer programming]]
[[Category:Computer Programming]]