Axiomatic approach to total correctness of programs (Q2561482): Difference between revisions

@@ Property / describes a project that uses @@
+Find
@@ Property / describes a project that uses: Find / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56235455
@@ Property / Wikidata QID: Q56235455 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a program
@@ Property / cites work: Proof of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic program verification. I: A logical basis and its implementation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2561482