Towards a Combination of CafeOBJ and PAT (Q5403071): Difference between revisions

@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4680190
@@ Property / cites work: Q4680190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409149
@@ Property / cites work: Q4409149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805877
@@ Property / cites work: Q3805877 / rank @@
+Normal rank