Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development

by Leonardo De Moura , Nikolaj Bjørner
Citations:1 - 0 self