✓

@book{O_Regan_2017,
    title = {Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications},
    isbn = {9783319640211},
    issn = {2197-1781},
    url = {http://dx.doi.org/10.1007/978-3-319-64021-1},
    doi = {10.1007/978-3-319-64021-1},
    journal = {Undergraduate Topics in Computer Science},
    publisher = {Springer International Publishing},
    author = {O’Regan, Gerard},
    year = {2017},
    date-added = {2026-2-10 16:45:6 +0100}
}

@book{O_Regan_2017, title = {Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications}, isbn = {9783319640211}, issn = {2197-1781}, url = {http://dx.doi.org/10.1007/978-3-319-64021-1}, doi = {10.1007/978-3-319-64021-1}, journal = {Undergraduate Topics in Computer Science}, publisher = {Springer International Publishing}, author = {O’Regan, Gerard}, year = {2017}, date-added = {2026-2-10 16:45:6 +0100} }