program verification - Türkisch Englisch Wörterbuch