Parameterized programming for compositional system specification

DOI10.1007/978-3-319-99840-4_4zbMath1517.68246OpenAlexW2890370072WikidataQ123905810 ScholiaQ123905810MaRDI QIDQ6109547

Óscar Martín, Narciso Martí-Oliet, Alberto Verdejo

Publication date: 28 July 2023

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99840-4_4

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Compositional Specification in Rewriting Logic

This page was built for publication: Parameterized programming for compositional system specification