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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-43725-1_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2954438468
@@ Property / OpenAlex ID: W2954438468 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:6166532