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

D.S. Lynn. Interactive Compiler Proving Using Hoare Proof Rules. Technical Report ISI/RR-78-70, Information Sciences Institute, January, 1978.

D.S. Lynn. Interactive Compiler Proving Using Hoare Proof Rules. Tech. Rept. ISI/RR-78-70, Information Sciences Institute, January, 1978.

CiteSeer.IST - Copyright Penn State and NEC