Bentuk Asing:
formal proof-of-correctness

Padanan dalam Bahasa Indonesia:
bukti kebenaran formal

Ranah:
Teknologi Informasi

Dilihat:
68 kali