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

méthode inductive d'assertion
IT	Methode der induktiven Zusicherung; Methode des induktiven Programmbeweises