Detecting bugs in safety-critical code

Dr. Dobb's Journal

Volumn 33, Issue 3, 2008, Pages 22-27

  Anderson, Paul ^a  

^a GrammaTech ^*

Author keywords

[No Author keywords available]

Indexed keywords

EID: 40449125777     PISSN: 1044789X     EISSN: None     Source Type: Trade Journal    
DOI: None     Document Type: Article

References (0)