Testing data types implementations from algebraic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4949 LNCS, Issue , 2008, Pages 209-239

  Gaudel, Marie Claude ^a   Le Gall, Pascale ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITY OF EVRY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; PROBLEM SOLVING; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; AXIOMS; DATA TYPES;

DATA STRUCTURES;

EID: 43049102038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78917-8_7     Document Type: Conference Paper

References (58)