%0 Conference Paper %1 conf/esop/FlanaganA99 %A Flanagan, Cormac %A Abadi, Martín %B ESOP %D 1999 %E Swierstra, S. Doaitse %I Springer %K dblp %P 91-108 %T Types for Safe Locking. %U http://dblp.uni-trier.de/db/conf/esop/esop99.html#FlanaganA99 %V 1576 %@ 3-540-65699-5

@inproceedings{conf/esop/FlanaganA99, added-at = {2017-05-19T00:00:00.000+0200}, author = {Flanagan, Cormac and Abadi, Martín}, biburl = {https://www.bibsonomy.org/bibtex/2cc4d9e5b5abe5aaca49cb79d8925e0ab/dblp}, booktitle = {ESOP}, crossref = {conf/esop/1999}, editor = {Swierstra, S. Doaitse}, ee = {https://doi.org/10.1007/3-540-49099-X_7}, interhash = {35bfffbc48b6efc7ed8c9086a316751e}, intrahash = {cc4d9e5b5abe5aaca49cb79d8925e0ab}, isbn = {3-540-65699-5}, keywords = {dblp}, pages = {91-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:15.000+0200}, title = {Types for Safe Locking.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop99.html#FlanaganA99}, volume = 1576, year = 1999 }