VERIFICATION OF LOW-LEVEL CODE.

Software engineering journal

Volumn 3, Issue 3, 1988, Pages 97-111

  Clutterbuck, D L ^a   Carre, B A ^a  

^a Engl ^*

Author keywords

[No Author keywords available]

Indexed keywords

CODES, SYMBOLIC; COMPUTER PROGRAMS;

LOW-LEVEL CODE VERIFICATION; SPADE SOFTWARE TOOLS;

COMPUTER SOFTWARE;

EID: 0024012708     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1988.0012     Document Type: Article

References (21)