Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger. Programming Z3. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Volume 11430 of Lecture Notes in Computer Science, pages 148-201, Springer, 2018. [doi]
Abstract is missing.