research data . Dataset . 2012

Generalized Property Directed Reachability

Hoder, Kryštof; Bjørner, Nikolaj;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg