research data . Dataset . 2006

Lazy Abstraction with Interpolants

McMillan, Kenneth L.;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg