%0 Conference Paper %1 conf/tacas/LachnittFARBNBT24 %A Lachnitt, Hanna %A Fleury, Mathias %A Aniva, Leni %A Reynolds, Andrew %A Barbosa, Haniel %A Nötzli, Andres %A Barrett, Clark W. %A Tinelli, Cesare %B TACAS (1) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 311-330 %T IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-1.html#LachnittFARBNBT24 %V 14570 %@ 978-3-031-57246-3

@inproceedings{conf/tacas/LachnittFARBNBT24, added-at = {2024-05-04T00:00:00.000+0200}, author = {Lachnitt, Hanna and Fleury, Mathias and Aniva, Leni and Reynolds, Andrew and Barbosa, Haniel and Nötzli, Andres and Barrett, Clark W. and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2515fffb3672f25be869e51be9238bcb6/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2024-1}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57246-3_17}, interhash = {8f05de01dabc2b71944f653d99a7e63a}, intrahash = {515fffb3672f25be869e51be9238bcb6}, isbn = {978-3-031-57246-3}, keywords = {dblp}, pages = {311-330}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-06T07:30:07.000+0200}, title = {IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-1.html#LachnittFARBNBT24}, volume = 14570, year = 2024 }