%0 Conference Paper %1 conf/flops/BlotDL16 %A Blot, Arthur %A Dagand, Pierre-Évariste %A Lawall, Julia %B FLOPS %D 2016 %E Kiselyov, Oleg %E King, Andy %I Springer %K %P 12-28 %T From Sets to Bits in Coq. %U http://dblp.uni-trier.de/db/conf/flops/flops2016.html#BlotDL16 %V 9613 %@ 978-3-319-29603-6

@inproceedings{conf/flops/BlotDL16, added-at = {2023-12-13T01:56:52.000+0100}, author = {Blot, Arthur and Dagand, Pierre-Évariste and Lawall, Julia}, biburl = {https://www.bibsonomy.org/bibtex/2a5cbfaecf48b31d2edc50edde02fad6b/admin}, booktitle = {FLOPS}, crossref = {conf/flops/2016}, editor = {Kiselyov, Oleg and King, Andy}, ee = {https://doi.org/10.1007/978-3-319-29604-3_2}, interhash = {78b5f9ecbeaea4b5eb0377b0c9e9b9d1}, intrahash = {a5cbfaecf48b31d2edc50edde02fad6b}, isbn = {978-3-319-29603-6}, keywords = {}, pages = {12-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:56:52.000+0100}, title = {From Sets to Bits in Coq.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2016.html#BlotDL16}, volume = 9613, year = 2016 }