Using SMT solvers to verify high-integrity programs

Paul B. Jackson, Bill J. Ellis, Kathleen Sharp

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Finished

Search results