%0 Conference Paper %1 conf/esop/Krogh-Jespersen20 %A Krogh-Jespersen, Morten %A Timany, Amin %A Ohlenbusch, Marit Edna %A Gregersen, Simon Oddershede %A Birkedal, Lars %B ESOP %D 2020 %E Müller, Peter %I Springer %K dblp %P 336-365 %T Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. %U http://dblp.uni-trier.de/db/conf/esop/esop2020.html#Krogh-Jespersen20 %V 12075 %@ 978-3-030-44914-8

@inproceedings{conf/esop/Krogh-Jespersen20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Krogh-Jespersen, Morten and Timany, Amin and Ohlenbusch, Marit Edna and Gregersen, Simon Oddershede and Birkedal, Lars}, biburl = {https://www.bibsonomy.org/bibtex/2446024e75669b8f3f7474068f0e00b78/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2020}, editor = {Müller, Peter}, ee = {https://doi.org/10.1007/978-3-030-44914-8_13}, interhash = {2cb159739dcaff643eaf37c6baf3acd9}, intrahash = {446024e75669b8f3f7474068f0e00b78}, isbn = {978-3-030-44914-8}, keywords = {dblp}, pages = {336-365}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2020.html#Krogh-Jespersen20}, volume = 12075, year = 2020 }