Building Verification Condition Generators by Compositional Extension (Q2864396): Difference between revisions

@@ Property / cites work @@
+Q2702096
@@ Property / cites work: Q2702096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767171
@@ Property / cites work: Q2767171 / rank @@
+Normal rank
@@ Property / cites work @@
+Composing monads using coproducts
@@ Property / cites work: Composing monads using coproducts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad-independent Dynamic Logic in HasCasl
@@ Property / cites work: Monad-independent Dynamic Logic in HasCasl / rank @@
+Normal rank