Symbolic Semantics and Program Reduction
| Title | Symbolic Semantics and Program Reduction |
| Publication Type | Journal Article |
| Year of Publication | 1985 |
| Authors | Ambriola, V, Giannotti, F, Pedreschi, D, Turini, F |
| Journal | IEEE Trans. Software Eng. |
| Volume | 11 |
| Issue | 8 |
| Pagination | 784-794 |