✓

@book{book_939009,
    title = {Introduction to Formal Hardware Verification},
    author = {Thomas Kropf},
    publisher = {Springer-Verlag Berlin Heidelberg},
    isbn = {978-3-642-08477-5,978-3-662-03809-3},
    year = {1999},
    series = {},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=2310efddd8183899ef841e9113ff9001},
    date-added = {2025-4-29 14:36:58 +0100}
}

@book{book_939009, title = {Introduction to Formal Hardware Verification}, author = {Thomas Kropf}, publisher = {Springer-Verlag Berlin Heidelberg}, isbn = {978-3-642-08477-5,978-3-662-03809-3}, year = {1999}, series = {}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=2310efddd8183899ef841e9113ff9001}, date-added = {2025-4-29 14:36:58 +0100} }