@book{RISC6698,author = {Wolfgang Schreiner},
title = {{Concrete Abstractions}},
language = {english},
series = {Texts & Monographs in Symbolic Computation},
publisher = {Springer},
address = {Cham, Switzerland},
isbn_issn = {Hardcover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1},
year = {2023},
edition = {1st},
translation = {0},
keywords = {logic in computer science, model checking, formal modeling and reasoning, program specification and verification, discrete structures and algorithms, nondeterminism and concurrency},
length = {270},
url = {https://doi.org/10.1007/978-3-031-24934-1}
}