%0 Conference Paper %1 conf/ecoop/FarrellRM21 %A Farrell, Marie %A Reynolds, Conor %A Monahan, Rosemary %B FTfJP@ECOOP %D 2021 %E Cok, David R. %I ACM %K dblp %P 32-38 %T Using dafny to solve the VerifyThis 2021 challenges. %U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2021.html#FarrellRM21 %@ 978-1-4503-8543-5

@inproceedings{conf/ecoop/FarrellRM21, added-at = {2022-02-08T00:00:00.000+0100}, author = {Farrell, Marie and Reynolds, Conor and Monahan, Rosemary}, biburl = {https://www.bibsonomy.org/bibtex/22d5e03bd1b30cc0558e25276087ff4c3/dblp}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ecoop/2021ftfjp}, editor = {Cok, David R.}, ee = {https://doi.org/10.1145/3464971.3468422}, interhash = {1ed4127e1939447767ce9287468b6d57}, intrahash = {2d5e03bd1b30cc0558e25276087ff4c3}, isbn = {978-1-4503-8543-5}, keywords = {dblp}, pages = {32-38}, publisher = {ACM}, timestamp = {2024-04-09T17:11:28.000+0200}, title = {Using dafny to solve the VerifyThis 2021 challenges.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2021.html#FarrellRM21}, year = 2021 }