%0 Report %1 filieri2015approximate %A Filieri, Antonio %A Kwiatkowska, Marta %A Misailovic, Sasa %A Mytkowicz, Todd %D 2015 %K significance approximate %T Approximate and Probabilistic Computing: Design, Coding, Verification

@techreport{filieri2015approximate, added-at = {2016-04-13T16:58:16.000+0200}, author = {Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd}, biburl = {https://www.bibsonomy.org/bibtex/21d646a124b975e66d8de612ca45b826b/csl_uth}, interhash = {74c997e90ccae352c834df6df538b625}, intrahash = {1d646a124b975e66d8de612ca45b826b}, keywords = {significance approximate}, timestamp = {2018-02-19T18:27:15.000+0100}, title = {Approximate and Probabilistic Computing: Design, Coding, Verification}, year = 2015 }