인쇄

미지정

도서명 : 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