Checking the correctness of memories

Annual Symposium on Foundations of Computer Science (Proceedings)

Volumn , Issue , 1991, Pages 90-99

  Blum, Manuel ^a   Evans, Will ^a   Gemmell, Peter ^a   Kannan, Sampath ^a   Naor, Moni ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING - DATA STRUCTURES;

MEMORY CORRECTNESS; PROGRAM CHECKING;

COMPUTER METATHEORY;

EID: 0026405370     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)