Predicate transformers in the context of symbolic modeling of transition systems (Q2452757): Difference between revisions

@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / 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 @@
+Q2722032
@@ Property / cites work: Q2722032 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems specification by basic protocols
@@ Property / cites work: Systems specification by basic protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Decision Procedure for Arithmetic with Function Symbols
+Normal rank