%0 Conference Paper %1 conf/tools/MehnertA12 %A Mehnert, Hannes %A Aldrich, Jonathan %B TOOLS (50) %D 2012 %E Furia, Carlo A. %E Nanz, Sebastian %I Springer %K dblp %P 187-201 %T Verification of Snapshotable Trees Using Access Permissions and Typestate. %U http://dblp.uni-trier.de/db/conf/tools/tools50-2012.html#MehnertA12 %V 7304 %@ 978-3-642-30560-3

@inproceedings{conf/tools/MehnertA12, added-at = {2023-03-21T00:00:00.000+0100}, author = {Mehnert, Hannes and Aldrich, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/2f0d8958db23e4bf2ac610ce68e143286/dblp}, booktitle = {TOOLS (50)}, crossref = {conf/tools/50-2012}, editor = {Furia, Carlo A. and Nanz, Sebastian}, ee = {https://doi.org/10.1007/978-3-642-30561-0_14}, interhash = {a9b2227682c84f5e84578c5d1245bf59}, intrahash = {f0d8958db23e4bf2ac610ce68e143286}, isbn = {978-3-642-30560-3}, keywords = {dblp}, pages = {187-201}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:19:46.000+0200}, title = {Verification of Snapshotable Trees Using Access Permissions and Typestate.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools50-2012.html#MehnertA12}, volume = 7304, year = 2012 }