2
Decision procedures an algorithmic point of view

Cover is for reference only
Main Authors: Kroening Daniel.
Corporate Authors: SpringerLink (Online service)
Group Author: Strichman Ofer.
Published: Springer,
Publication Dates: c2008.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —