Trustworthy software: Why we need it, why we don't have it, how we can get it

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2006, Pages 32-33

  McLean, John ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34247540488     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2006.84     Document Type: Conference Paper

References (1)

1. J. McLean. A general theory of composition for a class of 'possibilistic' properties. IEEE Transactions on Software Engineering, 22(1):53-67, Jan. 1996.