%0 Conference Paper %1 conf/itp/AbrahamssonM23 %A Abrahamsson, Oskar %A Myreen, Magnus O. %B ITP %D 2023 %E Naumowicz, Adam %E Thiemann, René %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 4:1-4:17 %T Fast, Verified Computation for Candle. %U http://dblp.uni-trier.de/db/conf/itp/itp2023.html#AbrahamssonM23 %V 268 %@ 978-3-95977-284-6

@inproceedings{conf/itp/AbrahamssonM23, added-at = {2023-07-26T00:00:00.000+0200}, author = {Abrahamsson, Oskar and Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/20370c9fbc95b89faf509ddc6b858c458/dblp}, booktitle = {ITP}, crossref = {conf/itp/2023}, editor = {Naumowicz, Adam and Thiemann, René}, ee = {https://doi.org/10.4230/LIPIcs.ITP.2023.4}, interhash = {774e68ed22f28bd95dc04015185ad773}, intrahash = {0370c9fbc95b89faf509ddc6b858c458}, isbn = {978-3-95977-284-6}, keywords = {dblp}, pages = {4:1-4:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:49:29.000+0200}, title = {Fast, Verified Computation for Candle.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2023.html#AbrahamssonM23}, volume = 268, year = 2023 }