By the same authors

From the same journal

Mechanised Wire-wise Verification of Handel-C Synthesis

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalElectr. Notes Theor. Comput. Sci.
DatePublished - 2 Jul 2009
Issue numberC
Volume240
Number of pages19
Pages (from-to)201-219
Original languageUndefined/Unknown

Discover related content

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

View graph of relations