CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Lawrence Robinson and Karl N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271--283, April 1976.

Robinson, L., Levitt, K.N., "Proof techniques for hierarchically structured programs," Comm. of the ACM, Vol. 20, No. 4, April 1977, pp. 271-283.

L. Robinson and K. Levitt. "Proof Techniques for Hierarchically Structured Programs". Comm. ACM 20, 4 (April 1977).

Robinson, L., Levitt, K.N., "Proof techniques for hierarchically structured programs," Comm. of the ACM, Vol. 20, No. 4, April 1977, pp. 271-283.

Lawrence Robinson and Karl N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271--283, April 1976.

L. Robinson and K. Levitt. Proof Techniques for Hierarchically Structured Programs. Comm. ACM 20(4), April, 1977.

Robinson, L., Levitt, K.N., "Proof techniques for hierarchically structured programs," Comm. of the ACM, Vol. 20, No. 4, April 1977, pp. 271-283.

Robinson, L., and K. N. Levitt, "Proof Techniques for Hierarchically Structured Programs," Communications of the ACM, Vol. 20 No. 4, April 1977.

Lawrence Robinson and Karl N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271-283, April 1976.

L. Robinson and K.N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271-283, April 1977.

Lawrence Robinson and Karl N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271-- 283, April 1976.

L. Robinson and K.N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271--283, April 1977.

L. Robinson and K.N. Levitt. Proof techniques for hierarchically structured programs. Communications of the ACM, 20(4):271--283, April 1977.

CiteSeer.IST - Copyright Penn State and NEC