Specification methodology: An integrated relational approach (Q3738546): Difference between revisions

@@ Property / cites work @@
+The new math of computer programming
@@ Property / cites work: The new math of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized control structure and its formal definition
+Normal rank
@@ Property / cites work @@
+A relational theory of computing
@@ Property / cites work: A relational theory of computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686039
@@ Property / cites work: Q5686039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank