Symbolic Execution in Algorithm Design

David M. Steier, Elaine Kant. Symbolic Execution in Algorithm Design. In IJCAI. pages 225-231, 1985.

Authors

David M. Steier

This author has not been identified. Look up 'David M. Steier' in Google

Elaine Kant

This author has not been identified. Look up 'Elaine Kant' in Google