%0 Conference Paper %1 journals/entcs/HabliK09 %A Habli, Ibrahim %A Kelly, Tim %B SafeCert@ETAPS %D 2008 %E Huhn, Michaela %E Hungar, Hardi %I Elsevier %K dblp %N 4 %P 27-39 %T A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. %U http://dblp.uni-trier.de/db/conf/safecert/safecert2008.html#HabliK09 %V 238

@inproceedings{journals/entcs/HabliK09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Habli, Ibrahim and Kelly, Tim}, biburl = {https://www.bibsonomy.org/bibtex/25faf99121d717085be2358eefef11581/dblp}, booktitle = {SafeCert@ETAPS}, crossref = {conf/safecert/2008}, editor = {Huhn, Michaela and Hungar, Hardi}, ee = {https://doi.org/10.1016/j.entcs.2009.09.004}, interhash = {25c1f77f556a974a72fc995cea66fe42}, intrahash = {5faf99121d717085be2358eefef11581}, keywords = {dblp}, number = 4, pages = {27-39}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:26:14.000+0200}, title = {A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.}, url = {http://dblp.uni-trier.de/db/conf/safecert/safecert2008.html#HabliK09}, volume = 238, year = 2008 }