Kroening, Daniel
Decision procedures: an algorithmic point of view - 2nd ed. - Berlin Springer 2016 - xxi, 356p.
9783662504963
Computer science.
Software engineering.
004.0151 KRO/D
Decision procedures: an algorithmic point of view - 2nd ed. - Berlin Springer 2016 - xxi, 356p.
9783662504963
Computer science.
Software engineering.
004.0151 KRO/D