MetadatenVerfasserangaben: | Marisa NavarroORCiD, Fernando OrejasORCiD, Elvira PinoORCiD, Leen LambersORCiDGND |
---|
DOI: | https://doi.org/10.1016/j.jlamp.2020.100616 |
---|
ISSN: | 2352-2208 |
---|
ISSN: | 2352-2216 |
---|
Titel des übergeordneten Werks (Englisch): | Journal of logical and algebraic methods in programming |
---|
Verlag: | Elsevier Science |
---|
Verlagsort: | Amsterdam [u.a.] |
---|
Publikationstyp: | Wissenschaftlicher Artikel |
---|
Sprache: | Englisch |
---|
Datum der Erstveröffentlichung: | 01.01.2021 |
---|
Erscheinungsjahr: | 2021 |
---|
Datum der Freischaltung: | 15.03.2024 |
---|
Freies Schlagwort / Tag: | Algebraic methods; Formal modelling; Graph logic; Specification |
---|
Band: | 118 |
---|
Aufsatznummer: | 100616 |
---|
Seitenanzahl: | 33 |
---|
Fördernde Institution: | Spanish Ministry of Economy and Competitiveness under grant GRAMM [TIN2017-86727-C2-1-R, TIN2017-86727-C2-2-R]; European Union (FEDER funds) under grant GRAMM [TIN2017-86727-C2-1-R, TIN2017-86727-C2-2-R]; Basque Project [GIU15/30, UFI11/45] |
---|
Organisationseinheiten: | Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH |
---|
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Peer Review: | Referiert |
---|