Hoare-style logic for unstructured programs (Q2038040): Difference between revisions

@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cloc
@@ Property / describes a project that uses: Cloc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TrABin
@@ Property / describes a project that uses: TrABin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CakeML
@@ Property / describes a project that uses: CakeML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ARMor
@@ Property / describes a project that uses: ARMor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BoogiePL
@@ Property / describes a project that uses: BoogiePL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3086076508
@@ Property / OpenAlex ID: W3086076508 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2038040