Professional Documents
Culture Documents
TEITP ION Final
TEITP ION Final
Ian O’Neill
Topics
H1: x >= 0.
H2: y > 0
H3: x <= n or y - 1 <= n.
->
C1: x - x div y * y <= n.
Change History
0.1 30/07/2010 First draft for comments
Email: ian.o’neill@altran-praxis.com