Refinement Strategies for Safety-Critical Java
Keyword(s):
2017 ◽
Vol 17
(23)
◽
pp. 859-877