A simple proof for the completeness of Floyd's method (Q801661): Difference between revisions

@@ Property / cites work @@
+Q3309036
@@ Property / cites work: Q3309036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4193440
@@ Property / cites work: Q4193440 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. II
+Normal rank
@@ Property / cites work @@
+Programs and program verifications in a general setting
+Normal rank
@@ Property / cites work @@
+Q3956390
@@ Property / cites work: Q3956390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3744163
@@ Property / cites work: Q3744163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698302
@@ Property / cites work: Q3698302 / rank @@
+Normal rank