אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית צרפתית +

inductive assertion method
.טכנול	Methode der induktiven Zusicherung; Methode des induktiven Programmbeweises