Using search techniques in the formal analysis of programs

Chinese Journal of Advanced Software Research

Volumn 6, Issue 2, 1999, Pages 169-177

  Zhang, Jian ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

CONSTRAINT SATISFACTION; PROGRAM VERIFICATION; SATISFIABILITY PROBLEMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033342298     PISSN: 10747443     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)