No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Lerner, Benjamin S. et al. 2019
2 LIPIcs, Volume 136, SNAPL'19, Complete Volume Lerner, Benjamin S. et al. 2019
3 Domain-Specific Symbolic Compilation Bodík, Rastislav et al. 2017
4 Front Matter, Table of Contents, Preface Lerner, Benjamin S. et al. 2017
5 LIPIcs, Volume 71, SNAPL'17, Complete Volume Lerner, Benjamin S. et al. 2017
6 LIPIcs, Volume 32, SNAPL'15, Complete Volume Ball, Thomas et al. 2015
7 Software Synthesis (Dagstuhl Seminar 12152) Bodík, Rastislav et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Imprint | Privacy Published by LZI