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

méthode inductive d'assertion
.טכנול	Methode der induktiven Zusicherung; Methode des induktiven Programmbeweises