Bugs, moles and skeletons: Symbolic reasoning for software development (2010)

by L Moura, N Bjørner
Venue:of Lecture Notes in Computer Science