Indexed and fibred structures for Hoare logic (Q2219084): Difference between revisions

@@ Property / author @@
-Edward Hermann Haeusler
@@ Property / author: Edward Hermann Haeusler / rank @@
-Normal rank
@@ Property / author @@
+Edward Hermann Haeusler
@@ Property / author: Edward Hermann Haeusler / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dafny
@@ Property / describes a project that uses: Dafny / 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.1016/j.entcs.2020.02.008
+Normal rank
@@ Property / OpenAlex ID @@
+W3013738153
@@ Property / OpenAlex ID: W3013738153 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317339
@@ Property / Wikidata QID: Q113317339 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2219084