Daniel Kroening, Corina S. Păsăreanu

Computer Aided Verification - 2015 - Springer International Publishing 2015 - Lecture Notes in Computer Science .

978-3-319-21668-3