%0 Conference Paper %1 conf/tase/NarayanSGA16 %A Narayan, Chinmay %A Sharma, Subodh Vishnu %A Guha, Shibashis %A Arun-Kumar, S. %B TASE %D 2016 %I IEEE Computer Society %K dblp %P 152-159 %T From Traces to Proofs: Proving Concurrent Programs Safe. %U http://dblp.uni-trier.de/db/conf/tase/tase2016.html#NarayanSGA16 %@ 978-1-5090-1764-5

@inproceedings{conf/tase/NarayanSGA16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Narayan, Chinmay and Sharma, Subodh Vishnu and Guha, Shibashis and Arun-Kumar, S.}, biburl = {https://www.bibsonomy.org/bibtex/24456b4cbe715f750584480a8c923b51b/dblp}, booktitle = {TASE}, crossref = {conf/tase/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2016.29}, interhash = {37abf378a2aacc4ea18fb6d51a6aadd2}, intrahash = {4456b4cbe715f750584480a8c923b51b}, isbn = {978-1-5090-1764-5}, keywords = {dblp}, pages = {152-159}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:19:57.000+0200}, title = {From Traces to Proofs: Proving Concurrent Programs Safe.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2016.html#NarayanSGA16}, year = 2016 }