Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄ Chinese
Google | Forvo | +
proof of program correctness
IT 程序正确性证明
proof of programme correctness
tech. 程序正确性证明

 The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Add | The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Report an error | Get short URL | Language Selection Tips