Kathleen Sharp

Using SMT solvers to verify high-integrity programs

Paul B. Jackson, Bill J. Ellis, Kathleen Sharp, 2007, AFM '07.