Treffer: SCJ-Circus: Specification and refinement of Safety-Critical Java programs

Title:
SCJ-Circus: Specification and refinement of Safety-Critical Java programs
Authors:
Miyazawa, Alvaro ⁎, Cavalcanti, Ana, Wellings, Andy
Source:
In Science of Computer Programming 15 July 2019 181:140-176
Database:
ScienceDirect