Refinement to imperative HOL (Q1739909): Difference between revisions

@@ Property / describes a project that uses @@
+Gabow SCC
@@ Property / describes a project that uses: Gabow SCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MLton
@@ Property / describes a project that uses: MLton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Edmonds-Karp
@@ Property / describes a project that uses: Edmonds-Karp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Separation Logic
@@ Property / describes a project that uses: Separation Logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Refinement Monadic
@@ Property / describes a project that uses: Refinement Monadic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Imperative Refinement
@@ Property / describes a project that uses: Imperative Refinement / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ynot
@@ Property / describes a project that uses: Ynot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Autoref
@@ Property / describes a project that uses: Autoref / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Collections
@@ Property / describes a project that uses: Collections / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAVA LTL Modelchecker
@@ Property / describes a project that uses: CAVA LTL Modelchecker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2762980364
@@ Property / OpenAlex ID: W2762980364 / rank @@
+Normal rank