%0 Journal Article %1 journals/tse/AmbriolaGPT85 %A Ambriola, Vincenzo %A Giannotti, Fosca %A Pedreschi, Dino %A Turini, Franco %D 1985 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 784-794 %T Symbolic Semantics and Program Reduction. %U http://dblp.uni-trier.de/db/journals/tse/tse11.html#AmbriolaGPT85 %V 11

@article{journals/tse/AmbriolaGPT85, added-at = {2022-01-03T00:00:00.000+0100}, author = {Ambriola, Vincenzo and Giannotti, Fosca and Pedreschi, Dino and Turini, Franco}, biburl = {https://www.bibsonomy.org/bibtex/262033c3f3fab6217d0262fe716a8d591/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232527}, interhash = {c86a46152c8cfddbc8c410ddd96bf10f}, intrahash = {62033c3f3fab6217d0262fe716a8d591}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {784-794}, timestamp = {2024-04-08T21:07:05.000+0200}, title = {Symbolic Semantics and Program Reduction.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse11.html#AmbriolaGPT85}, volume = 11, year = 1985 }