|
Volumn 1709, Issue , 1999, Pages 1477-1496
|
Non-atomic refinement in Z
|
Author keywords
Non atomic operations; Non atomic refinement; Refinement; Specification; Z
|
Indexed keywords
ATOMS;
FORMAL METHODS;
METADATA;
SPECIFICATIONS;
ACCOUNTING SYSTEM;
ATOMIC OPERATION;
DATA REFINEMENTS;
DATA TYPE;
NON-ATOMIC REFINEMENT;
REFINEMENT;
WELL-ESTABLISHED TECHNIQUES;
ABSTRACT DATA TYPES;
|
EID: 84949499004
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-48118-4_28 Document Type: Conference Paper |
Times cited : (20)
|
References (10)
|