MODELS OF PROGRAM LOGICS.

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1979, Pages 115-122

  Pratt, V R ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

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

References (26)