LMS-Verify: abstraction without regret for verified systems programming (Q5370919): Difference between revisions

@@ Property / describes a project that uses @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OptiML
@@ Property / describes a project that uses: OptiML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACSL
@@ Property / describes a project that uses: ACSL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Leon
@@ Property / describes a project that uses: Leon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TreatJS
@@ Property / describes a project that uses: TreatJS / 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.1145/3009837.3009867
+Normal rank
@@ Property / OpenAlex ID @@
+W2562397426
@@ Property / OpenAlex ID: W2562397426 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q131121844
@@ Property / Wikidata QID: Q131121844 / rank @@
+Normal rank