[dundee] Verification techniques

[Robert Ladyman]

The following is well worth a read - even if you are not interested in the 
contents, it contains wonderfully cutting phrases, such as:-

"Both are interactive environments, which isn’t a feature but a polite way of 
indicating that they require a lot of tedious user intervention and manual 
effort in order to function."

http://www.cypherpunks.to/~peter/04_verif_techniques.pdf
-- 

Robert Ladyman
File-Away Limited, 30 Church Street, Newtyle
Perthshire, PH12 8TZ SCOTLAND
Registered in Scotland, Company Number SC222086
Tel: +44 (0) 1828 898 158
Mobile: +44 (0) 7732 771 649
http://www.file-away.co.uk