Cyber & formal methods publications March 1, 2004 Conference Paper

Rewrite Systems for Symbolic Evaluation of C-like Preprocessing

SRI International March 1, 2004

Citation

Copy to clipboard

Mario Latendresse. Rewrite Systems for Symbolic Evaluation of C-like Preprocessing, in Proceedings of CSMR’04, pp. 165-173, Mar 2004.

↓ Download

Share this