APPLICATIONS OF SYMBOLIC EVALUATION
Publication Date
1985
Journal or Book Title
JOURNAL OF SYSTEMS AND SOFTWARE
Pages
15-35
Volume
5
Issue
1
Recommended Citation
Clarke, LA and RICHARDSON, DJ, "APPLICATIONS OF SYMBOLIC EVALUATION" (1985). JOURNAL OF SYSTEMS AND SOFTWARE. 462.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/462
COinS