RISC JKU
  • @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}
    }