A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	27-39
Number of pages	13
Journal	Electronic Notes in Theoretical Computer Science
Volume	238
Issue number	4
Publication status	Published - 28 Sept 2009

Access to Document

@article{6ea63f4e7afa4fbeb02908d3422f1deb,

title = "A Generic Goal-Based Certification Argument for the Justification of Formal Analysis",

author = "Ibrahim Habli and Tim Kelly",

year = "2009",

month = sep,

day = "28",

language = "English",

volume = "238",

pages = "27--39",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

AU - Habli, Ibrahim

AU - Kelly, Tim

PY - 2009/9/28

Y1 - 2009/9/28

UR - http://www.scopus.com/inward/record.url?scp=70349156358&partnerID=8YFLogxK

M3 - Article

VL - 238

SP - 27

EP - 39

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 4

ER -