| 
|
Quote: the proper product of programming is arguments that a program is a trustworthy solution
topics >
all references >
references c-d >
Group:
program proving
Topic:
error safe systems
Topic:
trust
Quotation Skeleton
It is a severe mistake to think that … he has to produce and present them in … written program text is only the accompanying material … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: error safe systems (75 items)
Topic: trust (16 items)