Англійська ⇄ Іспанська Італійська Грецька Данська Китайська Нідерландська Німецька Португальська Французька +

inductive assertion method
IT	Methode der induktiven Zusicherung; Methode des induktiven Programmbeweises