Program Proofs

cover

@book{book_99277863,
    title = {Program Proofs},
    author = {Leino, K. Rustan M.},
    publisher = {The MIT Press},
    isbn = {026254623X; 9780262546232; 9780262375429; 0262375427},
    year = {2023},
    edition = {1},
    url = {libgen.li/file.php?md5=161b1f05b86dff9c1615c2339abb0590},
    date-added = {2026-2-10 11:30:30 +0100}
}

@book{book_99277863, title = {Program Proofs}, author = {Leino, K. Rustan M.}, publisher = {The MIT Press}, isbn = {026254623X; 9780262546232; 9780262375429; 0262375427}, year = {2023}, edition = {1}, url = {libgen.li/file.php?md5=161b1f05b86dff9c1615c2339abb0590}, date-added = {2026-2-10 11:30:30 +0100} }