TY - BOOK ID - 135071973 TI - Correctness proofs and machine arithmetic PY - 1979 PB - Amsterdam University of Amsterdam DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:135071973 AB - ER -