%0 Conference Paper %1 conf/swqd/SneedV17 %A Sneed, Harry M. %A Verhoef, Chris %B SWQD %D 2017 %E Winkler, Dietmar %E Biffl, Stefan %E Bergsmann, Johannes %I Springer %K dblp %P 70-83 %T Validating Converted Java Code via Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/swqd/swqd2017.html#SneedV17 %V 269 %@ 978-3-319-49420-3

@inproceedings{conf/swqd/SneedV17, added-at = {2017-05-21T00:00:00.000+0200}, author = {Sneed, Harry M. and Verhoef, Chris}, biburl = {https://www.bibsonomy.org/bibtex/28dc9c56a18623e02d65346225287c471/dblp}, booktitle = {SWQD}, crossref = {conf/swqd/2017}, editor = {Winkler, Dietmar and Biffl, Stefan and Bergsmann, Johannes}, ee = {https://doi.org/10.1007/978-3-319-49421-0_6}, interhash = {2c2cef450ae4ebbb7fe3e97326229437}, intrahash = {8dc9c56a18623e02d65346225287c471}, isbn = {978-3-319-49420-3}, keywords = {dblp}, pages = {70-83}, publisher = {Springer}, series = {Lecture Notes in Business Information Processing}, timestamp = {2019-01-26T11:37:00.000+0100}, title = {Validating Converted Java Code via Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/swqd/swqd2017.html#SneedV17}, volume = 269, year = 2017 }