publications: - title: "A Generic Software Safety Document Generator" author: - name: "Ewen Denney" link: "http://ti.arc.nasa.gov/profile/edenney/" - name: "Ram Prasad Venkatesan" link: "http://blogs.msdn.com/ravenkat/default.aspx" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=102" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=102" researchr: "https://researchr.org/publication/DenneyV04" cites: 0 citedby: 0 pages: "102-116" booktitle: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings" editor: - name: "Charles Rattray" link: "https://researchr.org/alias/charles-rattray" - name: "Savi Maharaj" link: "https://researchr.org/alias/savi-maharaj" - name: "Carron Shankland" link: "https://researchr.org/alias/carron-shankland" volume: "3116" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22381-9" kind: "inproceedings" key: "DenneyV04"