By the same authors

From the same journal

Circus Models for Safety-Critical Java Programs

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalThe Computer Journal
DatePublished - 2013
Issue number7
Volume57
Number of pages46
Pages (from-to)1046-1091
Original languageEnglish

Projects

Discover related content

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

View graph of relations