Circus Models for Safety-Critical Java Programs

F. Zeyda, L. Lalkhumsanga, A. Cavalcanti, A. Wellings

    Research output: Contribution to journalArticlepeer-review

    129 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)1046-1091
    JournalComputer Journal
    Volume57
    Issue number7
    DOIs
    Publication statusPublished - 3 Jul 2013

    Cite this