Now showing items 1-18 of 18
| Subject |
|---|
| Bisimulation [1] |
| Branching time logics [1] |
| Correctness preserving transformation [1] |
| Data refinement [1] |
| Decomposition [1] |
| Domains [1] |
| Dynamic logic [1] |
| Hennessy-Milner modal logic [1] |
| Linear temporal logic [1] |
| Miracles [1] |
| Modal logic [1] |
| Modal M Calculus [1] |
| Powerdomains [1] |
| Process algebra [1] |
| Program development [1] |
| Refinement [1] |
| Specifications [1] |
| Weakest preconditions [1] |
Now showing items 1-18 of 18