On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976): Difference between revisions

@@ Property / author @@
+Thomas S. E. Maibaum
@@ Property / author: Thomas S. E. Maibaum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+May I borrow your logic? (Transporting logical structures along maps)
+Normal rank
@@ Property / cites work @@
+Q4698614
@@ Property / cites work: Q4698614 / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalized modularization theorem
@@ Property / cites work: On a generalized modularization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Reasoning over Deontic Specifications
@@ Property / cites work: Temporal Reasoning over Deontic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics of parallel program design
@@ Property / cites work: Categorical semantics of parallel program design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471720
@@ Property / cites work: Q4471720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345797
@@ Property / cites work: Q3345797 / rank @@
+Normal rank
@@ Property / cites work @@
+On what exactly goes on when software is developed step-by-step. II: The sequel
+Normal rank
@@ Property / cites work @@
+Q4362967
@@ Property / cites work: Q4362967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839061
@@ Property / cites work: Q3839061 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499220
@@ Property / cites work: Q4499220 / rank @@
+Normal rank