|
|
|
Volumn , Issue , 1983, Pages 508-511
|
|
SPECIFICATION AND TESTING OF ABSTRACT DATA TYPES.
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ABSTRACT DATA TYPES;
AXIOMATIC SPECIFICATIONS;
REWRITE RULES;
SPECIFICATION LANGUAGE;
TEST ORACLE;
TEST POINT GENERATOR;
COMPUTER SOFTWARE;
|
|
EID: 0020944358
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (9)
|
|
References (0)
|
