Programming Languages and Systems
From MaRDI portal
Publication:5308712
DOI10.1007/b96702zbMath1126.68355OpenAlexW2964738244MaRDI QIDQ5308712
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Patch Graph Rewriting ⋮ Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Specifying graph languages with type graphs ⋮ Explicit State Model Checking for Graph Grammars ⋮ Abstracting Complex Data Structures by Hyperedge Replacement ⋮ A framework for the verification of infinite-state graph transformation systems
This page was built for publication: Programming Languages and Systems
