proof of partial correctness - Deutsch Englisch Wörterbuch