ICT Technologies with Programming

Beware of bugs in the above code; I have only proved it correct, not tried it.

Testing can only prove the presence of bugs, not their absence.

[This] reminds me of a quotation from somebody that, whenever he tried to explain the logical structure of a programming language to a programmer, it was like a cat trying to explain to a fish what it feels like to be wet.