Using CafeOBJ to Mechanise Refactoring Proofs and Application (Q2870325): Difference between revisions

@@ Property / cites work @@
+Q3122689
@@ Property / cites work: Q3122689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493905
@@ Property / cites work: Q4493905 / rank @@
+Normal rank
@@ Property / cites work @@
+An inconsistency in procedures, parameters, and substitution in the refinement calculus
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving object-oriented designs with refactorings
+Normal rank