%0 Conference Paper %1 conf/popl/BotincanB13 %A Botincan, Matko %A Babic, Domagoj %B POPL %D 2013 %E Giacobazzi, Roberto %E Cousot, Radhia %I ACM %K dblp %P 443-456 %T Sigma*: symbolic learning of input-output specifications. %U http://dblp.uni-trier.de/db/conf/popl/popl2013.html#BotincanB13 %@ 978-1-4503-1832-7

@inproceedings{conf/popl/BotincanB13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Botincan, Matko and Babic, Domagoj}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/221d0567cfc3310590b03670dbc0ca2ff/dblp}, booktitle = {POPL}, crossref = {conf/popl/2013}, editor = {Giacobazzi, Roberto and Cousot, Radhia}, ee = {https://doi.org/10.1145/2429069.2429123}, interhash = {a24f0fbfdfa8cbb5aee9f172eddb3f88}, intrahash = {21d0567cfc3310590b03670dbc0ca2ff}, isbn = {978-1-4503-1832-7}, keywords = {dblp}, pages = {443-456}, publisher = {ACM}, timestamp = {2019-09-27T22:08:06.000+0200}, title = {Sigma*: symbolic learning of input-output specifications.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2013.html#BotincanB13}, year = 2013 }