DYNAMIC VALIDATION OF PROGRAMS USING ASSERTION CHECKING FACILITIES.

Volumn , Issue , 1978, Pages 533-538

  Chen, Wen Tsuen ^a   Ho, Jone Ping ^a   Wen, Chia Hsien ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM VALIDATION;

COMPUTER PROGRAMMING;

EID: 0018281999     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)