%0 Conference Paper %1 conf/sle/Pit-Claudel20 %A Pit-Claudel, Clément %B SLE %D 2020 %E Lämmel, Ralf %E Tratt, Laurence %E de Lara, Juan %I ACM %K dblp %P 155-174 %T Untangling mechanized proofs. %U http://dblp.uni-trier.de/db/conf/sle/sle2020.html#Pit-Claudel20 %@ 978-1-4503-8176-5

@inproceedings{conf/sle/Pit-Claudel20, added-at = {2022-01-08T00:00:00.000+0100}, author = {Pit-Claudel, Clément}, biburl = {https://www.bibsonomy.org/bibtex/2320bf53bdaa5dff9c45258f0d22419b7/dblp}, booktitle = {SLE}, crossref = {conf/sle/2020}, editor = {Lämmel, Ralf and Tratt, Laurence and de Lara, Juan}, ee = {https://doi.org/10.1145/3426425.3426940}, interhash = {cfd3c16a677f81ac8a414ce2d827d033}, intrahash = {320bf53bdaa5dff9c45258f0d22419b7}, isbn = {978-1-4503-8176-5}, keywords = {dblp}, pages = {155-174}, publisher = {ACM}, timestamp = {2024-04-09T11:42:05.000+0200}, title = {Untangling mechanized proofs.}, url = {http://dblp.uni-trier.de/db/conf/sle/sle2020.html#Pit-Claudel20}, year = 2020 }