%0 Conference Paper %1 conf/ershov/Vidal14 %A Vidal, Germán %B Ershov Memorial Conference %D 2014 %E Voronkov, Andrei %E Virbitskaite, Irina B. %I Springer %K dblp %P 351-360 %T Towards Symbolic Execution in Erlang. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#Vidal14 %V 8974 %@ 978-3-662-46822-7

@inproceedings{conf/ershov/Vidal14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/2d216e88f7a7143904d46e168f08d59a0/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2014}, editor = {Voronkov, Andrei and Virbitskaite, Irina B.}, ee = {https://doi.org/10.1007/978-3-662-46823-4_28}, interhash = {1851c5a4a039c8b9db5217a466017f77}, intrahash = {d216e88f7a7143904d46e168f08d59a0}, isbn = {978-3-662-46822-7}, keywords = {dblp}, pages = {351-360}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-17T11:40:47.000+0100}, title = {Towards Symbolic Execution in Erlang.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#Vidal14}, volume = 8974, year = 2014 }