Skip to main content

Abstraction Refinement by a Learnt Probabilistic Model

Radu Grigore and Hongseok Yang

Book Title
POPL
Year
2016