|
|
|
Volumn , Issue A-51, 1994, Pages 35-44
|
|
Theory and practice of a formal method: NewCoRe
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL COMPLEXITY;
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER SYSTEMS PROGRAMMING;
DECISION THEORY;
ERROR ANALYSIS;
FORMAL LOGIC;
DESIGN DISCIPLINE;
DESIGN TOOL;
PROGRAM SPECIFICATION;
PROGRAM VERIFICATION;
SOFTWARE ENGINEERING;
|
|
EID: 0028563006
PISSN: 09265473
EISSN: None
Source Type: Book
DOI: None Document Type: Book |
|
Times cited : (29)
|
|
References (8)
|
