Pages that link to "Item:Q2870320"
From MaRDI portal
The following pages link to Modeling and Verifying Graph Transformations in Proof Assistants (Q2870320):
Displayed 4 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)