[ITS] IT terministandardi sõnastik

[et]
07.07.28

õigsustõestus

‣ Õigsuse tõestamise rakendamisest tulenev tõestus.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.28

proof of correctness

‣ A proof that results from applying correctness proving.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink