共 50 条
- [21] Proof of correctness of C++ program by HOARE logic Lanzhou Daxue Xuebao/Journal of Lanzhou University, 2000, 36 (01): : 44 - 47
- [23] C++ multimedia trilogy: rescued by C++, success with C++, and 1001 C/C++, tips Journal of Object-Oriented Programming, 1995, 8 (03):
- [28] A NOTE ON THE COMPLEXITY OF PROGRAM-EVALUATION MATHEMATICAL SYSTEMS THEORY, 1984, 17 (02): : 85 - 96