Daniel Kroening, Corina S. Păsăreanu Computer Aided Verification - 2015 - Springer International Publishing 2015 - Lecture Notes in Computer Science . ISBN: 978-3-319-21668-3