Automatic Data Refinement
From MaRDI portal
Automatic Data Refinement (AFP entry Automatic Refinement)
Cited in
(12)- Jinja Threads
- Separation Logic
- Refinement Monadic
- Dictionary Construction
- IP Addresses
- Light-weight Containers
- Network Security Policy Verification
- NREST: Nondeterministc RESult monad with Time
- Verification of the UpDown Scheme
- Algorithms for Reduced Ordered Binary Decision Diagrams
- Dynamic Pushdown Networks
- van Emde Boas Trees
This page was built for software: Automatic Data Refinement
