Development of Correct Graph Transformation Systems (Q3540429): Difference between revisions

@@ Property / describes a project that uses @@
+GROOVE
@@ Property / describes a project that uses: GROOVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2141017646
@@ Property / OpenAlex ID: W2141017646 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Preconditions for High-Level Programs
@@ Property / cites work: Weakest Preconditions for High-Level Programs / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222796
@@ Property / cites work: Q4222796 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-based specification of access control policies
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416077
@@ Property / cites work: Q3416077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769432
@@ Property / cites work: Q2769432 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of High-Level Conditions
@@ Property / cites work: Satisfiability of High-Level Conditions / rank @@
+Normal rank