By the same authors

From the same journal

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

Research output: Contribution to journalArticle



Publication details

JournalElectr. Notes Theor. Comput. Sci.
DatePublished - 28 Sep 2009
Issue number4
Number of pages13
Pages (from-to)27-39
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations