Rastislav Bodík. Modeling biology with solver-aided programming languages. In Jaakko Järvi, Christian Kästner, editors, Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013. pages 1-2, ACM, 2013. [doi]
@inproceedings{Bodik13,
title = {Modeling biology with solver-aided programming languages},
author = {Rastislav Bodík},
year = {2013},
doi = {10.1145/2517208.2517229},
url = {http://doi.acm.org/10.1145/2517208.2517229},
researchr = {https://researchr.org/publication/Bodik13},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013},
editor = {Jaakko Järvi and Christian Kästner},
publisher = {ACM},
isbn = {978-1-4503-2373-4},
}