|
|
|
Volumn , Issue , 1988, Pages 138-139
|
|
Generation of test data from algebraic specifications.
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRAIC SPECIFICATIONS;
FINITE DECOMPOSITION HYPOTHESIS;
FORMAL SPECIFICATIONS;
REGULARITY HYPOTHESIS;
UNIFORMITY HYPOTHESIS;
COMPUTER SOFTWARE;
|
|
EID: 0024131437
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (7)
|
|
References (7)
|
