Circus Models for Safety-Critical Java Programs

Research output: Contribution to journalArticlepeer-review

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

Cite this