MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Abstraction Refinement via Inductive Learning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Abstraction Refinement via Inductive Learning  
  • by Alexey Loginov Thomas, Thomas Reps, Mooly Sagiv — 2005 — In Proc. of CAV’05, volume 3576 of LNCS
  • …Abstraction Refinement via Inductive Learning Alexey Loginov 1 , Thomas Reps 1 , and Mooly Sagiv 2…
  • Add To MetaCart
  • Nationality: US Citizen  
  • by Curriculum Vitae Alexey A. Loginov
  • …, Experiments (VSTTE), October 2005. 2. Abstraction refinement via inductive learning. A. Loginov, T. Reps…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB