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

@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAT
@@ Property / describes a project that uses: PAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-54624-2_8
+Normal rank
@@ Property / OpenAlex ID @@
+W69709800
@@ Property / OpenAlex ID: W69709800 / rank @@
+Normal rank
@@ 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