Program Proofs
by K. Rustan M. Leino,Kaleb Leino
ISBN 13: 9780262546232
Format: Paperback (496 pages) Publisher: MIT Press Published: 07 Mar 2023
Save for later