Return to Article Details Asserting the Correctness of Software Language Translations Download Download PDF