research data . Dataset . 2015

Horn Clause Solvers for Program Verification

Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey;
  • Published: 01 Jan 1970
  • Publisher: Springer International Publishing