%0 Conference Paper %1 journals/entcs/HatcliffHLMWW09 %A Hatcliff, John %A Heimdahl, Mats Per Erik %A Lawford, Mark %A Maibaum, T. S. E. %A Wassyng, Alan %A Wurden, Fred L. %B SafeCert@ETAPS %D 2008 %E Huhn, Michaela %E Hungar, Hardi %I Elsevier %K dblp %N 4 %P 11-17 %T A Software Certification Consortium and its Top 9 Hurdles. %U http://dblp.uni-trier.de/db/conf/safecert/safecert2008.html#HatcliffHLMWW09 %V 238

@inproceedings{journals/entcs/HatcliffHLMWW09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Hatcliff, John and Heimdahl, Mats Per Erik and Lawford, Mark and Maibaum, T. S. E. and Wassyng, Alan and Wurden, Fred L.}, biburl = {https://www.bibsonomy.org/bibtex/2c6cfeb8f6ed36412c447c3cfe725a6e2/dblp}, booktitle = {SafeCert@ETAPS}, crossref = {conf/safecert/2008}, editor = {Huhn, Michaela and Hungar, Hardi}, ee = {https://doi.org/10.1016/j.entcs.2009.09.002}, interhash = {edf5864516ba2a8f3a994dbdc9eba8ce}, intrahash = {c6cfeb8f6ed36412c447c3cfe725a6e2}, keywords = {dblp}, number = 4, pages = {11-17}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:26:14.000+0200}, title = {A Software Certification Consortium and its Top 9 Hurdles.}, url = {http://dblp.uni-trier.de/db/conf/safecert/safecert2008.html#HatcliffHLMWW09}, volume = 238, year = 2008 }