Formal Methods: An Appetizer

cover

@book{Nielson_2019,
    title = {Formal Methods: An Appetizer},
    isbn = {9783030051563},
    url = {http://dx.doi.org/10.1007/978-3-030-05156-3},
    doi = {10.1007/978-3-030-05156-3},
    publisher = {Springer International Publishing},
    author = {Nielson, Flemming and Riis Nielson, Hanne},
    year = {2019},
    date-added = {2026-2-11 16:45:44 +0100}
}

@book{Nielson_2019, title = {Formal Methods: An Appetizer}, isbn = {9783030051563}, url = {http://dx.doi.org/10.1007/978-3-030-05156-3}, doi = {10.1007/978-3-030-05156-3}, publisher = {Springer International Publishing}, author = {Nielson, Flemming and Riis Nielson, Hanne}, year = {2019}, date-added = {2026-2-11 16:45:44 +0100} }