Publications

Using SMT solvers to verify high-integrity programs

• • Paul B. Jackson
  • Bill J. Ellis
  • et al.
• 2007
• AFM 2007