proof of partial correctness - Französisch Englisch Wörterbuch