Calvin Loncaric
Data structure synthesis
FSE, 2016.
@inproceedings{FSE-2016-Loncaric, author = "Calvin Loncaric", booktitle = "{Proceedings of the 24th International Symposium on Foundations of Software Engineering}", doi = "10.1145/2950290.2983946", isbn = "978-1-4503-4218-6", pages = "1073--1075", publisher = "{ACM}", title = "{Data structure synthesis}", year = 2016, }