✓

@book{book_1853727,
    title = {Formal Methods for the Verification of Digital Circuits},
    author = {Van Eijk, C. A. J.},
    publisher = {},
    isbn = {},
    year = {},
    series = {},
    edition = {},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=40522aa466c0925ceddbbb089b3db8ec},
    date-added = {2025-4-29 14:32:45 +0100}
}

@book{book_1853727, title = {Formal Methods for the Verification of Digital Circuits}, author = {Van Eijk, C. A. J.}, publisher = {}, isbn = {}, year = {}, series = {}, edition = {}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=40522aa466c0925ceddbbb089b3db8ec}, date-added = {2025-4-29 14:32:45 +0100} }