Software integration problems and coupling of graph grammar specifications
From MaRDI portal
Publication:4645273
DOI10.1007/3-540-61228-9_85zbMath1412.68140OpenAlexW1499350129MaRDI QIDQ4645273
Publication date: 10 January 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61228-9_85
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Uses Software
Cites Work
This page was built for publication: Software integration problems and coupling of graph grammar specifications