%0 Conference Paper %1 conf/sigada/Taft13 %A Taft, S. Tucker %B HILT %D 2013 %E Boleng, Jeff %E Taft, S. Tucker %I ACM %K dblp %P 1-2 %T Tutorial: proving safety of parallel / multi-threaded programs. %U http://dblp.uni-trier.de/db/conf/sigada/hilt2013.html#Taft13 %@ 978-1-4503-2467-0

@inproceedings{conf/sigada/Taft13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Taft, S. Tucker}, biburl = {https://www.bibsonomy.org/bibtex/2073b8cb1830752d56cc63d0e2526d9ac/dblp}, booktitle = {HILT}, crossref = {conf/sigada/2013}, editor = {Boleng, Jeff and Taft, S. Tucker}, ee = {https://doi.org/10.1145/2527269.2527285}, interhash = {719c45fb4b99cd48e40b29f13f65b872}, intrahash = {073b8cb1830752d56cc63d0e2526d9ac}, isbn = {978-1-4503-2467-0}, keywords = {dblp}, pages = {1-2}, publisher = {ACM}, timestamp = {2018-11-07T12:48:00.000+0100}, title = {Tutorial: proving safety of parallel / multi-threaded programs.}, url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2013.html#Taft13}, year = 2013 }