A probabilistic remark on algebraic program testing (Q1253894): Difference between revisions

@@ Property / Wikidata QID @@
+Q61661701
@@ Property / Wikidata QID: Q61661701 / 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/0020-0190(78)90067-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1968245619
@@ Property / OpenAlex ID: W1968245619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Social processes and proofs of theorems and programs
+Normal rank
@@ Property / cites work @@
+Lindenmayer grammars and symbolic testing
@@ Property / cites work: Lindenmayer grammars and symbolic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164569
@@ Property / cites work: Q4164569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065548
@@ Property / cites work: Q4065548 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/ipl/DemilloL78
@@ Property / DBLP publication ID: journals/ipl/DemilloL78 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1253894