By the same authors

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Standard

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. / Miyazawa, A.; Cavalcanti, A. L. C.

REFINE Workshop. 2015.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Harvard

Miyazawa, A & Cavalcanti, ALC 2015, SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. in REFINE Workshop.

APA

Miyazawa, A., & Cavalcanti, A. L. C. (2015). SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. In REFINE Workshop

Vancouver

Miyazawa A, Cavalcanti ALC. SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. In REFINE Workshop. 2015

Author

Miyazawa, A. ; Cavalcanti, A. L. C. / SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. REFINE Workshop. 2015.

Bibtex - Download

@inbook{93ee6c418efb4e39b9d512f8bcd5c39c,
title = "SCJ-Circus:: a refinement-oriented formal notation for Safety-Critical Java",
author = "A. Miyazawa and Cavalcanti, {A. L. C.}",
year = "2015",
language = "Undefined/Unknown",
booktitle = "REFINE Workshop",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - SCJ-Circus:

T2 - a refinement-oriented formal notation for Safety-Critical Java

AU - Miyazawa, A.

AU - Cavalcanti, A. L. C.

PY - 2015

Y1 - 2015

M3 - Other chapter contribution

BT - REFINE Workshop

ER -