Quoc-Sang Phan. Self-composition by Symbolic Execution. In Andrew V. Jones, Nicholas Ng, editors, 2013 Imperial College Computing Student Workshop, ICCSW 2013, September 26/27, 2013, London, United Kingdom. Volume 35 of OASICS, pages 95-102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013. [doi]
@inproceedings{Phan13, title = {Self-composition by Symbolic Execution}, author = {Quoc-Sang Phan}, year = {2013}, doi = {10.4230/OASIcs.ICCSW.2013.95}, url = {http://dx.doi.org/10.4230/OASIcs.ICCSW.2013.95}, researchr = {https://researchr.org/publication/Phan13}, cites = {0}, citedby = {0}, pages = {95-102}, booktitle = {2013 Imperial College Computing Student Workshop, ICCSW 2013, September 26/27, 2013, London, United Kingdom}, editor = {Andrew V. Jones and Nicholas Ng}, volume = {35}, series = {OASICS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, isbn = {978-3-939897-63-7}, }