Circus Models for Safety-Critical Java Programs

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

Research output: Contribution to journal › Article › peer-review

132 Downloads (Pure)

Access to Document

@article{bc9d21b4f16a49e09ae4afae41a92359,

title = "Circus Models for Safety-Critical Java Programs",

author = "F. Zeyda and L. Lalkhumsanga and A. Cavalcanti and A. Wellings",

year = "2013",

month = jul,

day = "3",

doi = "10.1093/comjnl/bxt060",

language = "English",

volume = "57",

pages = "1046--1091",

journal = "Computer Journal",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "7",

}