Author: Daniel Kroening Ofer Strichman R.E. Bryant
Edition:1st Edition(Released in 2010)
ISBN:978-3642093449
Orange Code:87160
Publication: Springer
Categories: Computers
Hints:
