אנגלית ⇄ גרמנית סינית רוסית +

program correctness proof
.טכנול	Programmkorrektheitsbeweis m