| 
|
QuoteRef: goodDI_1974
topics >
all references >
Topic:
program proof via assertions
ThesaHelp:
references g-h
Reference
Good, D.I., "Provable programs and processors", AFIPS, 43, pp. 357-363, 1974. Google
Notes
about Nucleus
QuoteRef: goodDI_1974 ;; language with which to prove programs, using assertions and state changes
Topic: program proof via assertions (61 items)
ThesaHelp: references g-h (299 items)