%0 Conference Paper %1 conf/tldi/VanderwaartC05 %A Vanderwaart, Joseph %A Crary, Karl %B TLDI %D 2005 %E Morrisett, J. Gregory %E Fähndrich, Manuel %I ACM %K dblp %P 79-90 %T Automated and certified conformance to responsiveness policies. %U http://dblp.uni-trier.de/db/conf/tldi/tldi2005.html#VanderwaartC05 %@ 1-58113-999-3

@inproceedings{conf/tldi/VanderwaartC05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Vanderwaart, Joseph and Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/2cf2dc3a4cd87e48f853507d2d6728a60/dblp}, booktitle = {TLDI}, crossref = {conf/tldi/2005}, editor = {Morrisett, J. Gregory and Fähndrich, Manuel}, ee = {https://doi.org/10.1145/1040294.1040302}, interhash = {12c90866e32db868ad38a730b2cc9cd8}, intrahash = {cf2dc3a4cd87e48f853507d2d6728a60}, isbn = {1-58113-999-3}, keywords = {dblp}, pages = {79-90}, publisher = {ACM}, timestamp = {2018-11-07T15:21:44.000+0100}, title = {Automated and certified conformance to responsiveness policies.}, url = {http://dblp.uni-trier.de/db/conf/tldi/tldi2005.html#VanderwaartC05}, year = 2005 }