Difference between revisions of "Assertions"
Jump to navigation
Jump to search
(Created page with "'''Assertions''', in software development. * Tony Hoare "published a series of papers on the use of assertions to prove correctness of computer programs." [http://research.m...") |
(No difference)
|
Revision as of 14:17, May 21, 2011
Assertions, in software development.
- Tony Hoare "published a series of papers on the use of assertions to prove correctness of computer programs." [1]