Verification-Led Smart Contracts (Q6166532): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition refinement of reactive systems
@@ Property / cites work: Superposition refinement of reactive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic actions, and their refinements to isolated protocols
+Normal rank
@@ Property / cites work @@
+Q3686043
@@ Property / cites work: Q3686043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Lem
@@ Property / cites work: Lem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229232
@@ Property / cites work: Q4229232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank