Modeling and Verifying Graph Transformations in Proof Assistants (Q2870320): Difference between revisions

@@ Property / cites work @@
+Q5284548
@@ Property / cites work: Q5284548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4037331
@@ Property / cites work: Q4037331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852078
@@ Property / cites work: Q2852078 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit State Model Checking for Graph Grammars
@@ Property / cites work: Explicit State Model Checking for Graph Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
+Normal rank
@@ Property / cites work @@
+Towards Common Exchange Formats for Graphs and Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank