Modular, crash-safe refinement for ASMs with submachines

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Gidon Ernst, Jörg Pfähler, Gerhard SchellhornGND, Wolfgang ReifGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/53444
ISSN:0167-6423OPAC
Parent Title (English):Science of Computer Programming
Publisher:Elsevier BV
Type:Article
Language:English
Year of first Publication:2016
Release Date:2019/05/21
Volume:131
First Page:3
Last Page:21
DOI:https://doi.org/10.1016/j.scico.2016.04.009
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik