6P. Cousot and R. Cousot, The Verification Grand Challenge and Abstract Interpretation, In Verified Software: Tools, Theories, Experiments, LNCS 4171, Springer-Verlag, Berlin, pp. 227-240. 被引量：1
7Tony Hoare, Jifeng He, Unified Theories of Programming, Springer, January 1997. 被引量：1
9J. Bankel, K. F. Berggren, K. Blom, et al. The CDIO Syllabus - A Comparative Study of Expected Student Proficiency [ J ]. European Journal of Engineering Education ,2003,28 ( 3 ) : 1 - 26. 被引量：1
