Abstraction discovery and refinement for model checking by symbolic trajectory evaluation (University of Oxford, 2014)

(untitled) - Adams, S