본문

  1. Home
1 Results:AA:SHAO Y PP:ASSOCIATION FOR COMPUTING MACHINERY 0.187 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Shao, Z., | Association for Computing Machinery | 2010 ,
처음1마지막