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

Methode des induktiven Programmbeweises
.טכנול	método inductivo de aserto