%0 Conference Paper %1 conf/ershov/DraganK14 %A Dragan, Ioan %A Kovács, Laura %B Ershov Memorial Conference %D 2014 %E Voronkov, Andrei %E Virbitskaite, Irina B. %I Springer %K dblp %P 67-75 %T Lingva: Generating and Proving Program Properties Using Symbol Elimination. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#DraganK14 %V 8974 %@ 978-3-662-46822-7

@inproceedings{conf/ershov/DraganK14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Dragan, Ioan and Kovács, Laura}, biburl = {https://www.bibsonomy.org/bibtex/2c5caf086ce7d897cb989b54cb9b08ae7/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_6}, interhash = {d3c9d849987e69ec768b3e8dcf0ef669}, intrahash = {c5caf086ce7d897cb989b54cb9b08ae7}, isbn = {978-3-662-46822-7}, keywords = {dblp}, pages = {67-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:08:03.000+0200}, title = {Lingva: Generating and Proving Program Properties Using Symbol Elimination.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#DraganK14}, volume = 8974, year = 2014 }