✓

@book{book_939281,
    title = {Formal Verification of Circuits},
    author = {Rolf Drechsler (auth.)},
    publisher = {Springer US},
    isbn = {978-1-4419-4985-1,978-1-4757-3184-2},
    year = {2000},
    series = {},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=fc6408c5768a8dd91580e6b234f820c9},
    date-added = {2025-4-29 14:32:22 +0100}
}

@book{book_939281, title = {Formal Verification of Circuits}, author = {Rolf Drechsler (auth.)}, publisher = {Springer US}, isbn = {978-1-4419-4985-1,978-1-4757-3184-2}, year = {2000}, series = {}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=fc6408c5768a8dd91580e6b234f820c9}, date-added = {2025-4-29 14:32:22 +0100} }