Now showing items 1-10 of 4
Semantics (4) |
Predicate transformers (2) |
025.0422 (1) |
Axiomatic (1) |
Binary relations (1) |
Data refinement (1) |
Database management (1) |
Domains (1) |
Formal methods (1) |
Galois connection (1) |
Now showing items 1-10 of 4