On verification of programs with goto statements (Q801657): Difference between revisions

@@ Property / cites work @@
+Q3853101
@@ Property / cites work: Q3853101 / rank @@
+Normal rank
@@ Property / cites work @@
+Program proving: KJumps and functions
@@ Property / cites work: Program proving: KJumps and functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875311
@@ Property / cites work: Q3875311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4136516
@@ Property / cites work: Q4136516 / rank @@
+Normal rank
@@ Property / cites work @@
+A critique of the foundations of Hoare style programming logics
+Normal rank