%0 Conference Paper %1 conf/asm/AzmyMW16 %A Azmy, Noran %A Merz, Stephan %A Weidenbach, Christoph %B ABZ %D 2016 %E Butler, Michael J. %E Schewe, Klaus-Dieter %E Mashkoor, Atif %E Biró, Miklós %I Springer %K %P 86-101 %T A Rigorous Correctness Proof for Pastry. %U http://dblp.uni-trier.de/db/conf/asm/abz2016.html#AzmyMW16 %V 9675 %@ 978-3-319-33599-5

@inproceedings{conf/asm/AzmyMW16, added-at = {2023-12-13T02:44:27.000+0100}, author = {Azmy, Noran and Merz, Stephan and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2c07f52990545315382b925cfa60cc9f2/admin}, booktitle = {ABZ}, crossref = {conf/asm/2016}, editor = {Butler, Michael J. and Schewe, Klaus-Dieter and Mashkoor, Atif and Biró, Miklós}, ee = {https://doi.org/10.1007/978-3-319-33600-8_5}, interhash = {82f7e0184239051be7b490aa1e94b52c}, intrahash = {c07f52990545315382b925cfa60cc9f2}, isbn = {978-3-319-33599-5}, keywords = {}, pages = {86-101}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:44:27.000+0100}, title = {A Rigorous Correctness Proof for Pastry.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2016.html#AzmyMW16}, volume = 9675, year = 2016 }