Decision procedures an algorithmic point of view

Bibliographic Details
Main Authors: Kroening, Daniel (Author), Strichman, Ofer (Author)
Format: Book
Language:English
Published: Berlin Springer c2008
Subjects:

Similar Items