Fingerprint
Dive into the research topics of 'Using SMT solvers to verify high-integrity programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Using SMT solvers to verify high-integrity programs
Paul B. Jackson, Bill J. Ellis, Kathleen Sharp
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution