%0 Conference Paper %1 conf/ijcai/SteierK85 %A Steier, David M. %A Kant, Elaine %B IJCAI %D 1985 %E Joshi, Aravind K. %I Morgan Kaufmann %K dblp %P 225-231 %T Symbolic Execution in Algorithm Design. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#SteierK85

@inproceedings{conf/ijcai/SteierK85, added-at = {2019-08-20T00:00:00.000+0200}, author = {Steier, David M. and Kant, Elaine}, biburl = {https://www.bibsonomy.org/bibtex/2f669a30bf1a2cc9c8461a5a910628c04/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1985}, editor = {Joshi, Aravind K.}, ee = {http://ijcai.org/Proceedings/85-1/Papers/042.pdf}, interhash = {153cf85a407cac9cb09ea4e87470b98c}, intrahash = {f669a30bf1a2cc9c8461a5a910628c04}, keywords = {dblp}, pages = {225-231}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:47:52.000+0200}, title = {Symbolic Execution in Algorithm Design.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#SteierK85}, year = 1985 }