by Daniel Kroening (Author), Daniel Kroening (Author), Ofer Strichman (Contributor)
Format: Paperback
Pages: 377
Edition: Softcover reprint of the original 2nd ed. 2016
Publisher: Springer
Published: 13 Jul 2018
ISBN 10: 3662570653
ISBN 13: 9783662570654