Patterns for Refinement Automation (Q3066119): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / 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 @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370252
@@ Property / cites work: Q4370252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Use of Triple-Modular Redundancy to Improve Computer Reliability
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+ArcAngel: a tactic language for refinement
@@ Property / cites work: ArcAngel: a tactic language for refinement / rank @@
+Normal rank