Computer Aided Verification (Q5900686): Difference between revisions

@@ Property / describes a project that uses @@
+SciNapse
@@ Property / describes a project that uses: SciNapse / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Specware
@@ Property / describes a project that uses: Specware / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AutoFilter
@@ Property / describes a project that uses: AutoFilter / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMPLIFY
@@ Property / describes a project that uses: SIMPLIFY / 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/b11831
@@ Property / full work available at URL: https://doi.org/10.1007/b11831 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1571340194
@@ Property / OpenAlex ID: W1571340194 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5900686