Predicate transformers for extended probability and non-determinism

Klaus Keimel, Gordon Plotkin

Research output: Contribution to journal › Article › peer-review

Search results