|
|
Volumn 50, Issue 3, 2007, Pages 254-260
|
|
The ideal of program correctness: Third computer journal lecture
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPLETE THEORY;
EXPERIMENTAL APPLICATION;
GRAND CHALLENGE PROJECT;
PROGRAM CORRECTNESS;
PROGRAM VERIFIERS;
REPRESENTATIVE SAMPLE;
COMPUTER PROGRAMMING;
|
|
EID: 44149128353
PISSN: 00104620
EISSN: 14602067
Source Type: Journal
DOI: 10.1093/comjnl/bxl078 Document Type: Article |
|
Times cited : (7)
|
|
References (0)
|
