Refinement strategies for Safety-Critical Java

A. Miyazawa; A. L. C. Cavalcanti

Refinement strategies for Safety-Critical Java

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Formal Methods: Foundations and Applications
Subtitle of host publication	18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers
Editors	M. L. Cornélio, Bill Roscoe
Publisher	Springer
ISBN (Electronic)	978-3-319-29473-5
ISBN (Print)	978-3-319-29472-8
Publication status	Published - 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9526

Cite this

@inproceedings{430b5335f3ee4534980d5e584b6254f3,

title = "Refinement strategies for Safety-Critical Java",

author = "A. Miyazawa and Cavalcanti, {A. L. C.}",

year = "2016",

language = "English",

isbn = "978-3-319-29472-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

editor = "Corn{\'e}lio, {M. L.} and Roscoe, {Bill }",

booktitle = "Formal Methods: Foundations and Applications",

address = "Germany",

}

Refinement strategies for Safety-Critical Java. / Miyazawa, A.; Cavalcanti, A. L. C.
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. ed. / M. L. Cornélio; Bill Roscoe. Springer, 2016. (Lecture Notes in Computer Science; Vol. 9526).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution