Rachel Faran, Orna Kupferman. On Synthesis of Specifications with Arithmetic. In Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos A. Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora, editors, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings. Volume 12011 of Lecture Notes in Computer Science, pages 161-173, Springer, 2020. [doi]
Abstract is missing.