On Synthesis of Specifications with Arithmetic

SOFSEM 2020: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-38919-2_14 ◽

2020 ◽

pp. 161-173

Author(s):

Rachel Faran ◽

Orna Kupferman

Download Full-text