✓

@book{book_93482280,
    title = {Formal Verification of Control System Software},
    author = {Pierre-Loic Garoche},
    publisher = {Princeton University Press},
    isbn = {0691181306; 9780691181301},
    year = {2019},
    url = {libgen.li/file.php?md5=a0c89e23959b46a63d77dd7159999775},
    date-added = {2026-2-17 14:39:25 +0100}
}

@book{book_93482280, title = {Formal Verification of Control System Software}, author = {Pierre-Loic Garoche}, publisher = {Princeton University Press}, isbn = {0691181306; 9780691181301}, year = {2019}, url = {libgen.li/file.php?md5=a0c89e23959b46a63d77dd7159999775}, date-added = {2026-2-17 14:39:25 +0100} }