Decision Procedures: An Algorithmic Point Of View, 2nd Edition
by Daniel Kroening /
2016 / English / PDF, CHM
3.7 MB Download