Pages that link to "Item:Q2898467"

From MaRDI portal

← Hoare-Style Verification of Graph Programs (Q2898467)

Jump to:navigation, search

The following pages link to Hoare-Style Verification of Graph Programs (Q2898467):

Displaying 3 items.

From imperative to rule-based graph programs (Q516038) (← links)
Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
Decidability of Resilience for Well-Structured Graph Transformation Systems (Q6487305) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2898467"