Shaon Barman, Rastislav BodÃk, Satish Chandra, Emina Torlak, Arka Bhattacharya, David Culler. Toward tool support for interactive synthesis. In Gail C. Murphy, Guy L. Steele Jr., editors, 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 121-136, ACM, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.