Mechanical reasoning about families of UTP theories (Q436368): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2010.02.010
@@ Property / DOI: 10.1016/j.scico.2010.02.010 / rank @@
-Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667969
@@ Property / cites work: Q3667969 / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Pointers for the UTP
@@ Property / cites work: A Theory of Pointers for the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanising a Unifying Theory
@@ Property / cites work: Mechanising a Unifying Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412559
@@ Property / cites work: Q4412559 / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Checking   Specifications
@@ Property / cites work: Type Checking Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical reasoning about families of UTP theories
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2010.02.010
@@ Property / DOI: 10.1016/J.SCICO.2010.02.010 / rank @@
+Normal rank