%0 Conference Paper %1 conf/sofsem/FaranK20 %A Faran, Rachel %A Kupferman, Orna %B SOFSEM %D 2020 %E Chatzigeorgiou, Alexander %E Dondi, Riccardo %E Herodotou, Herodotos %E Kapoutsis, Christos A. %E Manolopoulos, Yannis %E Papadopoulos, George A. %E Sikora, Florian %I Springer %K dblp %P 161-173 %T On Synthesis of Specifications with Arithmetic. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2020.html#FaranK20 %V 12011 %@ 978-3-030-38919-2

@inproceedings{conf/sofsem/FaranK20, added-at = {2020-01-21T00:00:00.000+0100}, author = {Faran, Rachel and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2b8bf0da5ed24db981a91b8cf85d48793/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2020}, editor = {Chatzigeorgiou, Alexander and Dondi, Riccardo and Herodotou, Herodotos and Kapoutsis, Christos A. and Manolopoulos, Yannis and Papadopoulos, George A. and Sikora, Florian}, ee = {https://doi.org/10.1007/978-3-030-38919-2_14}, interhash = {59963194906e0dc292dc6551ef9b4dc6}, intrahash = {b8bf0da5ed24db981a91b8cf85d48793}, isbn = {978-3-030-38919-2}, keywords = {dblp}, pages = {161-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-22T11:42:38.000+0100}, title = {On Synthesis of Specifications with Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2020.html#FaranK20}, volume = 12011, year = 2020 }