Treffer: Finite Integer Computations: An Algebraic Foundation for Their Correctness
Title:
Finite Integer Computations: An Algebraic Foundation for Their Correctness
Authors:
Source:
Formal Aspects of Computing: Applicable Formal Methods. 06 2006 18(2):244-262
Database:
Springer Nature Journals