%0 Conference Paper %1 conf/safecomp/DenneyPP12 %A Denney, Ewen %A Pai, Ganesh %A Pohl, Josef %B SAFECOMP Workshops %D 2012 %E Ortmeier, Frank %E Daniel, Peter %I Springer %K %P 8-21 %T AdvoCATE: An Assurance Case Automation Toolset. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2012w.html#DenneyPP12 %V 7613 %@ 978-3-642-33674-4

@inproceedings{conf/safecomp/DenneyPP12, added-at = {2023-12-12T17:43:14.000+0100}, author = {Denney, Ewen and Pai, Ganesh and Pohl, Josef}, biburl = {https://www.bibsonomy.org/bibtex/253b5b5781552278feaba372853fb23b0/admin}, booktitle = {SAFECOMP Workshops}, crossref = {conf/safecomp/2012w}, editor = {Ortmeier, Frank and Daniel, Peter}, ee = {https://doi.org/10.1007/978-3-642-33675-1_2}, interhash = {07bea0367c5c47126c8c0fa0751f0fc7}, intrahash = {53b5b5781552278feaba372853fb23b0}, isbn = {978-3-642-33674-4}, keywords = {}, pages = {8-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:43:14.000+0100}, title = {AdvoCATE: An Assurance Case Automation Toolset.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2012w.html#DenneyPP12}, volume = 7613, year = 2012 }