![](/img/cover-not-exists.png)
Modular, crash-safe refinement for ASMs with submachines
Ernst, Gidon, Pfähler, Jörg, Schellhorn, Gerhard, Reif, WolfgangLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2016.04.009
Date:
May, 2016
File:
PDF, 1.19 MB
english, 2016