Irène Guessarian;José Meseguer
Univ. Paris VII, Paris, France;SRI International, Menlo Park, CA
Symbolic program analysis using term rewriting and generalization
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design