programme correctness proof - Spanisch Englisch Wörterbuch