Efficient weakest preconditions (Q835051): Difference between revisions

@@ Property / cites work @@
+Combining angels, demons and miracles in program specifications
+Normal rank
@@ Property / cites work @@
+Correct and Robust Programs
@@ Property / cites work: Correct and Robust Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding exponential explosion
@@ Property / cites work: Avoiding exponential explosion / rank @@
+Normal rank