PROOF METHOD FOR CYCLIC PROGRAMS.

Volumn , Issue , 1976, Pages 235-245

  Francez, Nissim ^a   Pnueli, Amir ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - PARALLEL PROCESSING; MATHEMATICAL MODELS;

COMPUTER PROGRAMMING;

EID: 0017215446     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (9)