%0 Conference Paper %1 journals/entcs/MitchellRS09 %A Mitchell, John C. %A Roy, Arnab %A Sundararajan, Mukund %B SecReT@LICS/CSF %D 2008 %E Dougherty, Daniel J. %E Escobar, Santiago %I Elsevier %K dblp %P 93-113 %T An Automated Approach for Proving PCL Invariants. %U http://dblp.uni-trier.de/db/journals/entcs/entcs234.html#MitchellRS09 %V 234

@inproceedings{journals/entcs/MitchellRS09, added-at = {2023-03-09T00:00:00.000+0100}, author = {Mitchell, John C. and Roy, Arnab and Sundararajan, Mukund}, biburl = {https://www.bibsonomy.org/bibtex/2e01b90a1b45d6b79c4d16b54ce657513/dblp}, booktitle = {SecReT@LICS/CSF}, crossref = {conf/secret/2008}, editor = {Dougherty, Daniel J. and Escobar, Santiago}, ee = {https://doi.org/10.1016/j.entcs.2009.02.074}, interhash = {07bbfa335ff6530755ccd11e286c744b}, intrahash = {e01b90a1b45d6b79c4d16b54ce657513}, keywords = {dblp}, pages = {93-113}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T11:38:17.000+0200}, title = {An Automated Approach for Proving PCL Invariants.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs234.html#MitchellRS09}, volume = 234, year = 2008 }